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
Wasp ⭐ 9,125
The fastest way to develop full-stack web apps with React & Node.js.
most recent commit 3 months ago
Unison ⭐ 5,446
A friendly programming language from the future
most recent commit 3 months ago
Awesome Wasm Langs ⭐ 3,949
😎 A curated list of languages that compile directly to or have their VMs in WebAssembly
most recent commit 3 months ago
Idris Dev ⭐ 3,382
A Dependently Typed Functional Programming Language
total releases 71most recent commit 4 months ago
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40most recent commit 3 months ago
Arl ⭐ 1,850
lists of most popular repositories for most favoured programming languages (according to StackOverflow)
most recent commit 3 months ago
Lamdu ⭐ 1,834
lamdu - towards the next generation IDE
most recent commit 7 months ago
Lux ⭐ 1,617
The Lux Programming Language
dependent packages 1total releases 8most recent commit 3 months ago
Plutus ⭐ 1,474
The Plutus language implementation and tools
most recent commit 3 months ago
Plfa.github.io ⭐ 1,285
An introduction to programming language theory in Agda
most recent commit 3 months ago
Kitten ⭐ 1,020
A statically typed concatenative systems programming language.
most recent commit a year ago
Hamler ⭐ 929
Haskell-style functional programming language running on Erlang VM.
most recent commit 3 years ago
Egison ⭐ 859
The Egison Programming Language
total releases 190most recent commit a year ago
Oden ⭐ 738
The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)
most recent commit 7 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 4 years ago
Peridot ⭐ 388
A fast functional language based on two level type theory
most recent commit a year ago
Call Haskell From Anything ⭐ 369
Call Haskell functions from any programming language via serialization and dynamic libraries
total releases 5most recent commit 2 years ago
Algorithms Cheatsheet Resources ⭐ 331
🤓All the geeky stuffs you need to know at one place!
most recent commit 6 months ago
Nuri ⭐ 319
누리 : 함수형 한글 프로그래밍 언어
most recent commit 2 years ago
Cedille ⭐ 305
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
most recent commit 2 years ago
Sdl2 Examples ⭐ 299
SDL2 examples, for 25+ different programming languages
most recent commit 3 months ago
Hakaru ⭐ 293
A probabilistic programming language
most recent commit 2 years ago
Haskell ⭐ 278
most recent commit 2 years ago
The 2 Most Depended On Haskell Programming Language Open Source Projects
Postfix Haskell ⭐ 22
A low-level, postfix, functional programming language that compiles to WebAssembly
dependent packages 2total releases 14latest release July 06, 2023most recent commit 4 months agonpm postfix-haskell} Downloads
Lux ⭐ 1,617
The Lux Programming Language
dependent packages 1total releases 8latest release September 13, 2023most recent commit 3 months ago
The 10 Latest Releases In Haskell Programming Language Open Source Projects
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 3 months ago
Lux ⭐ 1,617
The Lux Programming Language
dependent packages 1total releases 8latest release September 13, 2023most recent commit 3 months ago
Snail ⭐ 9
A programming language for gastropods
total releases 4latest release September 02, 2023most recent commit 7 months ago
Hypertypes ⭐ 104
Hypertypes - generic programming for heterogeneous recursive types
total releases 3latest release July 25, 2023most recent commit 9 months ago
Postfix Haskell ⭐ 22
A low-level, postfix, functional programming language that compiles to WebAssembly
dependent packages 2total releases 14latest release July 06, 2023most recent commit 4 months agonpm postfix-haskell} Downloads
Zeolite ⭐ 18
Zeolite is a statically-typed, general-purpose programming language.
total releases 46latest release October 08, 2022most recent commit 3 months ago
Koneko ⭐ 7
koneko - a concatenative not-quite-lisp for kittens
total releases 1latest release February 12, 2022most recent commit 2 years ago
Egison ⭐ 859
The Egison Programming Language
total releases 190latest release December 18, 2021most recent commit a year ago
Idris Dev ⭐ 3,382
A Dependently Typed Functional Programming Language
total releases 71latest release October 22, 2021most recent commit 4 months ago
Lazy Ein ⭐ 12
JSON meets Haskell.
latest release June 01, 2021most recent commit 3 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

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

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