Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Haskell Programming Language Open Source Projects

Open source projects categorized as Haskell Programming Language
Categories > Programming Languages > Programming Language
Unison ⭐ 5,127
A friendly programming language from the future
most recent commit 18 hours ago
Awesome Wasm Langs ⭐ 3,669
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
most recent commit 11 days ago
Idris Dev ⭐ 3,376
A Dependently Typed Functional Programming Language
total releases 71most recent commit 24 days ago
Wasp ⭐ 2,456
The fastest way to develop full-stack web apps with React & Node.js.
most recent commit 19 hours ago
Agda ⭐ 2,063
Agda is a dependently typed programming language / interactive theorem prover.
most recent commit 21 hours ago
Futhark ⭐ 2,020
💥💻💥 A data-parallel functional programming language
most recent commit a day ago
Lamdu ⭐ 1,818
lamdu - towards the next generation IDE
most recent commit 18 days ago
Arl ⭐ 1,751
lists of most popular repositories for most favoured programming languages (according to StackOverflow)
most recent commit 2 days ago
Lux ⭐ 1,514
The Lux Programming Language
dependent packages 1total releases 6most recent commit 2 days ago
Plutus ⭐ 1,439
The Plutus language implementation and tools
most recent commit 20 hours ago
Plfa.github.io ⭐ 1,211
An introduction to programming language theory in Agda
most recent commit 15 days ago
Hamler ⭐ 929
Haskell-style functional programming language running on Erlang VM.
most recent commit a year ago
Egison ⭐ 859
The Egison Programming Language
most recent commit 3 months ago
Kitten ⭐ 834
A statically typed concatenative systems programming language.
most recent commit 2 years ago
Oden ⭐ 738
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
most recent commit 6 years ago
Completely Unscientific Benchmarks ⭐ 395
Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)
total releases 1most recent commit 3 years ago
Peridot ⭐ 388
A fast functional language based on two level type theory
most recent commit 3 months ago
Call Haskell From Anything ⭐ 369
Call Haskell functions from any programming language via serialization and dynamic libraries
total releases 5most recent commit 9 months ago
Juvix ⭐ 355
Juvix is a high-level programming language for writing privacy-preserving decentralised applications.
most recent commit 21 hours ago
Nuri ⭐ 319
누리 : 함수형 한글 프로그래밍 언어
most recent commit 9 months ago
Algorithms Cheatsheet Resources ⭐ 307
🤓All the geeky stuffs you need to know at one place!
most recent commit 2 months ago
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit a year ago
Hakaru ⭐ 293
A probabilistic programming language
most recent commit a year ago
The 7 Latest Releases In Haskell Programming Language Open Source Projects
Lux ⭐ 1,514
The Lux Programming Language
dependent packages 1total releases 6latest release November 03, 2021most recent commit 2 days ago
Idris Dev ⭐ 3,376
A Dependently Typed Functional Programming Language
total releases 71latest release October 22, 2021most recent commit 24 days ago
Hypertypes ⭐ 98
Hypertypes - generic programming for heterogeneous recursive types
total releases 2latest release June 23, 2021most recent commit a month ago
Lazy Ein ⭐ 12
JSON meets Haskell.
latest release June 01, 2021most recent commit 2 years ago
Morloc ⭐ 186
A typed, polyglot, functional language
latest release November 08, 2020most recent commit 2 months ago
Popular Programming Languages Categories
Javascript
Python
Java
Typescript
Php
C Plus Plus
Ruby
C
Shell
C Sharp
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2023 Awesome Open Source.  All rights reserved.