Top 15 Haskell programming-language Projects
A friendly programming language from the futureProject mention: What if Git worked with Programming Languages? | news.ycombinator.com | 2021-09-27
lamdu - towards the next generation IDEProject mention: Lamdu 0.8 released! | reddit.com/r/lamdu | 2021-09-08
Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
Agda is a dependently typed programming language / interactive theorem prover.Project mention: What input method would you prefer for Unicode characters in a neovim plugin? | reddit.com/r/agda | 2021-10-18
My best guess is that it has not really been maintained lately, there were only 12 commits in the last 7 years, some of which are just global modifications, which include this file as well: https://github.com/agda/agda/commits/136f85386ec43245745b76f03505bda4f5d1ed3f/src/full/Agda/Interaction/Highlighting/Vim.hs
A programming language that understands what a web app is.Project mention: How to pick a side project for coding interviews | dev.to | 2021-12-02
For an excellent readme example, checkout Wasp:https://github.com/wasp-lang/wasp!
The Plutus language implementation and toolsProject mention: Why does the same smart contract need to be included with every utxo? | reddit.com/r/CardanoDevelopers | 2021-12-03
There is a discussion on GitHub about this. The second solution in MPJs reply is what you are suggesting.
A statically typed concatenative systems programming language.Project mention: my cat is installing debian 10 | reddit.com/r/linuxmemes | 2021-10-20
The Egison Programming LanguageProject mention: I want to know about some weird non esoteric programming languages | reddit.com/r/ProgrammingLanguages | 2021-07-28
Egison is weird https://www.egison.org -- it takes a single concept (pattern matching) and pushes it as far as it will go.
Run Linux Software Faster and Safer than Linux with Unikernels.
A categorical programming language with effectsProject mention: Lawvere: A categorical programming language with effects | news.ycombinator.com | 2021-07-18
A typed, polyglot, functional languageProject mention: morloc-project/morloc: A typed, polyglot, functional language | reddit.com/r/functionalprogramming | 2021-07-29
A language experiment -- irc.freenode.net ##coda (by ekmett)Project mention: Best implementation of reduced ordered binary decision diagrams? | reddit.com/r/haskell | 2021-04-03
Functional teaching language for use in a discrete mathematics course (by disco-lang)Project mention: Is there a library for an eDSL for algebra expressions with an advanced simplifier? | reddit.com/r/haskell | 2021-07-30
Tangential, but just wanted to mention disco lang in this context, but it only handles rational numbers afaik.
A programming language supporting most of both declarative and imperative programmingProject mention: A programming language most of declarative and imperative programming | news.ycombinator.com | 2021-10-19
Zeolite is a statically-typed, general-purpose programming language.
A statically typed, somewhat functional programming language. Compiles to C.Project mention: Capri: a statically typed, extensible, and concise (almost) functional programming language | reddit.com/r/altprog | 2021-10-31
https://github.com/05st/capri/blob/master/examples/structs.cpr → you have Pascal-style value assignment for the structs, but C-style value assignment within the structs. It says in https://github.com/05st/capri/wiki/Mutability that you just documented a "mut" keyword to distinguish mutable variables; maybe it's best left to the := for constants / immutables, and = for the mutable / "var-let"-style variables? You're onto something here.
Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
Haskell programming-language related posts
Why does the same smart contract need to be included with every utxo?
2 projects | reddit.com/r/CardanoDevelopers | 3 Dec 2021
How to pick a side project for coding interviews
1 project | dev.to | 2 Dec 2021
PAB release date?
2 projects | reddit.com/r/cardano | 28 Nov 2021
Why all the hate?
2 projects | reddit.com/r/solana | 8 Nov 2021
Capri: a statically typed, extensible, and concise (almost) functional programming language
2 projects | reddit.com/r/altprog | 31 Oct 2021
[Request for Review] Tutorial on determining dependency version bounds
4 projects | reddit.com/r/haskell | 5 Nov 2021
Rewrite the compiler from scratch?
2 projects | reddit.com/r/cardano | 27 Oct 2021
What are some of the best open-source programming-language projects in Haskell? This list will help you:
Are you hiring? Post a new remote job listing for free.