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
-
Project 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
-
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
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
-
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.
-
-
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
-
Project mention: Atunci când cauți de muncă și nu te mai angajează nimeni | reddit.com/r/programare | 2023-04-23
-
-
CodiumAI
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.
-
-
-
-
-
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?
-
-
frea
A simple and lazy programming language with Damas-Hindley-Milner type inference and higher kinded types.
-
-
capri
A statically typed, general purpose programming language with an emphasis on functional programming and simplicity. Compiles to LLVM IR.
-
Project mention: July 2022 monthly "What are you working on?" thread | reddit.com/r/ProgrammingLanguages | 2022-07-01
Since discovering and being inspired by Cognate, I've begun work on somewhat of a sister language called Adduce, with u/stavro-mueller-beta's blessing. It's honestly been kind of a whirlwind so far - over the course of about a week, I threw together a hacky Javascript interpreter to sketch out my ideas for the language, then rewrote it in Haskell for more permanent development. The language is currently in a mostly working state, though missing a lot of features; the biggest pain points so far have been mostly related to scoping and exception handling, since I'm implementing a dynamically typed, interpreted, mostly-procedural language in a language that is very much neither, and I'd give a tentative guess that just figuring out how to make the latter work at all took over half the development time of the Haskell version so far.
-
-
-
SonarLint
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.
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
The latest post mention was on 2023-05-25.
Haskell programming-language related posts
- Let's Build a Compiler (1988)
- Why are there too many frontend frameworks?
- Rails-like framework for React, Node.js and Prisma
- What are the current hot topics in type theory and static analysis?
- Open-source app let's you turn any YouTube video into a drinking game
- Wasp: Rails-like framework for React, Node.js and Prisma
- The Egison Programming Language
-
A note from our sponsor - ONLYOFFICE
www.onlyoffice.com | 31 May 2023
Index
What are some of the best open-source programming-language projects in Haskell? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | unison | 5,204 |
| 2 | wasp | 2,797 |
| 3 | Agda | 2,108 |
| 4 | lamdu | 1,826 |
| 5 | plutus | 1,453 |
| 6 | kitten | 1,029 |
| 7 | egison | 885 |
| 8 | lawvere | 230 |
| 9 | morloc | 187 |
| 10 | coda | 155 |
| 11 | disco | 137 |
| 12 | fp | 103 |
| 13 | wybe | 38 |
| 14 | frea | 16 |
| 15 | zeolite-lang | 16 |
| 16 | capri | 8 |
| 17 | adduce | 7 |
| 18 | egison-pattern-src | 5 |
| 19 | tulip | 0 |
Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
www.influxdata.com