Top 16 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
Agda is a dependently typed programming language / interactive theorem prover.Project mention: Integer overflow causes Russel's paradox | news.ycombinator.com | 2021-12-22
Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.
lamdu - towards the next generation IDEProject mention: Lamdu 0.8 released! | reddit.com/r/lamdu | 2021-09-08
A programming language that understands what a web app is.Project mention: Building a toy compiler in Haskell, what kind of parser should I be using? | reddit.com/r/haskell | 2022-01-04
The Plutus language implementation and toolsProject mention: Liqwid Labs: Technical Status Update #51 | reddit.com/r/cardano | 2022-01-08
PR for Improved Rational for on-chain size was merged into Plutus: https://github.com/input-output-hk/plutus/commit/6d8d25d1e84b2a4278da1036aab23da4161b8df8
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: Let's talk about interesting language features. | reddit.com/r/ProgrammingLanguages | 2021-12-08
Egison language. Research language that does some really neat stuff with pattern matching.
Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.
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.
The Plume programming language 🦚 (by e-hat)Project mention: Monads Leading to Imperative Code Issues | reddit.com/r/haskell | 2021-12-22
It's a difficult thing to show - it was a lot of code and more of a broken system, not to mention the fact that I have made some fixes for the bugs that I had (although they are probably not foolproof). Here's the file anyways: https://github.com/e-hat/plume/blob/main/src/Bytecode/Generation.hs
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
One typo can spell immense destruction...
5 projects | reddit.com/r/programminghorror | 11 Jan 2022
Liqwid Labs: Technical Status Update #51
1 project | reddit.com/r/cardano | 8 Jan 2022
Building a toy compiler in Haskell, what kind of parser should I be using?
2 projects | reddit.com/r/haskell | 4 Jan 2022
Cardano vs. Ethereum: Can Ada Solve Ether’s Problems?
2 projects | reddit.com/r/CryptoCurrency | 30 Dec 2021
Integer overflow causes Russel's paradox
1 project | news.ycombinator.com | 22 Dec 2021
Cardano: "Slow and Steady wins the... Annnnnd it's gone." Plutus auditor publicly announces that most Cardano smart contracts have an exploit.
2 projects | reddit.com/r/CryptoCurrency | 15 Dec 2021
Why Cardano smart contract transactions are so big.
1 project | reddit.com/r/CryptoCurrency | 11 Dec 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.