Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises Learn more →
Top 19 Haskell programming-language Projects
A friendly programming language from the futureProject mention: C++ evolution vs C++ successor languages. Circle's feature pragmas let you select your own "evolver language." | reddit.com/r/cpp | 2023-01-23
in haskell it looks like this, you specify the language extensions you want at the top of the source files: https://github.com/unisonweb/unison/blob/trunk/unison-core/src/Unison/ABT.hs
The fastest way to develop full-stack web apps with React & Node.js.Project mention: Let's Build a Compiler (1988) | news.ycombinator.com | 2023-05-25
Although AI has been all the rage lately, I was actually always excited the most by building a compiler. After a few years of dabbling with it, I created one together with my brother: https://github.com/wasp-lang/wasp
It is a DSL (a simple config language for building web apps) so not that complicated as a Turing-complete language, but still a lot of concepts remain.
As a good starting resources for building your own compiler I'd also recommend Crafting Interpreters, super nicely explained and fun to go through: https://craftinginterpreters.com/
ONLYOFFICE Docs — document collaboration in your environment. Powerful document editing and collaboration in your app or environment. Ultimate security, API and 30+ ready connectors, SaaS or on-premises
Agda is a dependently typed programming language / interactive theorem prover.Project mention: What are the current hot topics in type theory and static analysis? | reddit.com/r/ProgrammingLanguages | 2023-05-08
Most of the proof assistants out there: Lean, Coq, Dafny, Isabelle, F*, Idris 2, and Agda. And the main concepts are dependent types, Homotopy Type Theory AKA HoTT, and Category Theory. Warning: HoTT and Category Theory are really dense, you're going to really need to research them.
lamdu - towards the next generation IDEProject mention: Recommendations for learning GUI programming? | reddit.com/r/haskell | 2023-03-18
The Plutus language implementation and toolsProject mention: Are you disappointed/happy with current daps? | reddit.com/r/cardano | 2022-07-24
Plutus-related issues in Plutus repo https://github.com/input-output-hk/plutus/issues Cardano node-related issues in the Cardano node repo https://github.com/input-output-hk/cardano-node
A statically typed concatenative systems programming language.Project mention: Atunci când cauți de muncă și nu te mai angajează nimeni | reddit.com/r/programare | 2023-04-23
The Egison Programming LanguageProject mention: The Egison Programming Language | reddit.com/r/patient_hackernews | 2023-04-29
TestGPT | Generating meaningful tests for busy devs. Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.
A categorical programming language with effects (by jameshaydon)
A typed, polyglot, functional language
A language experiment -- irc.freenode.net ##coda (by ekmett)
Functional teaching language for use in a discrete mathematics course (by disco-lang)
A small, weird and unpractical programming language. (by japiirainen)Project mention: Show HN: A small, weird and unpractical programming language | news.ycombinator.com | 2022-10-31
Did you click on the link to the github repo?
A programming language supporting most of both declarative and imperative programming
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
Zeolite is a statically-typed, general-purpose programming language.
A statically typed, general purpose programming language with an emphasis on functional programming and simplicity. Compiles to LLVM IR.
The interpreter for the Adduce programming language.Project mention: July 2022 monthly "What are you working on?" thread | reddit.com/r/ProgrammingLanguages | 2022-07-01
Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
A Tiny, Untyped, Lazy, Interpreted, Pure language (by willmcpherson2)
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
Haskell programming-language related posts
Let's Build a Compiler (1988)
1 project | news.ycombinator.com | 25 May 2023
Why are there too many frontend frameworks?
1 project | reddit.com/r/webdev | 19 May 2023
Rails-like framework for React, Node.js and Prisma
1 project | news.ycombinator.com | 15 May 2023
What are the current hot topics in type theory and static analysis?
15 projects | reddit.com/r/ProgrammingLanguages | 8 May 2023
Open-source app let's you turn any YouTube video into a drinking game
2 projects | reddit.com/r/webdev | 8 May 2023
Wasp: Rails-like framework for React, Node.js and Prisma
1 project | news.ycombinator.com | 8 May 2023
The Egison Programming Language
1 project | reddit.com/r/patient_hackernews | 29 Apr 2023
A note from our sponsor - ONLYOFFICE
www.onlyoffice.com | 31 May 2023
What are some of the best open-source programming-language projects in Haskell? This list will help you: