ai-haskell-compiler/aihc
Haskell compiler as a series of reusable libraries
GitHub repository with 7 stars and 0 forks.
Language: Haskell
Topics: compiler, haskell, vibe-coding
Haskell compiler as a series of reusable libraries
GitHub repository with 7 stars and 0 forks.
Language: Haskell
Topics: compiler, haskell, vibe-coding
Trending score 0.09, freshness score 0.79, stars gained +0, forks gained +0.
2026-06-15: 7 stars and 0 forks.
Actor-based, safely typed, fast programming language.
GitHub repository with 181 stars and 12 forks.
Trending score: 0.55; stars gained: +1; forks gained: +0.
Language: Haskell
Topics: actor-model, compiler, distributed-computing, hacktoberfest, language, programming-language
SQL-first, type-safe PostgreSQL client code generator
GitHub repository with 150 stars and 2 forks.
Trending score: 0.37; stars gained: +0; forks gained: +0.
Language: Haskell
Topics: cli, compiler, db-first, sql, sql-first
:boom::computer::boom: A data-parallel functional programming language
GitHub repository with 2,739 stars and 200 forks.
Trending score: 0.32; stars gained: +0; forks gained: -1.
Language: Haskell
Topics: boom, compiler, cuda, futhark, gpgpu, gpu
Purescript compiler back-end for Lua
GitHub repository with 60 stars and 5 forks.
Trending score: 0.10; stars gained: +0; forks gained: +0.
Language: Haskell
Topics: compiler, lua, purescript
A self-hosting systems language. Zero C dependencies. GC in ARM64 assembly. Pure-Rail TLS 1.3, Ed25519, SHA-256. Emits its own Metal GPU kernels. 141 tests, 2-pass byte-identical fixed point. 6 backends. BSL 1.1.
GitHub repository with 9 stars and 0 forks.
Trending score: 0.09; stars gained: +0; forks gained: +0.
Language: Haskell
Topics: ai, functional-programming, language, programming-language, arm64, bootstrapping
Haskell compiler as a series of reusable libraries
GitHub repository with 7 stars and 0 forks.
Trending score: 0.09; stars gained: +0; forks gained: +0.
Language: Haskell
Topics: compiler, haskell, vibe-coding
๐ฆ๐งช๏ธ Luguan is a programming lnguage. (Inline Brainfuck)
GitHub repository with 19 stars and 1 forks.
Trending score: 1.71; stars gained: +7; forks gained: +0.
Language: Haskell
Topics: brainfuck, functional-programming, programming-language
Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.
GitHub repository with 4,532 stars and 388 forks.
Trending score: 1.49; stars gained: +4; forks gained: +0.
Language: Haskell
Topics: accounting, command-line-tool, console-application, finance, haskell, haskell-applications
Agda is a dependently typed programming language / interactive theorem prover.
GitHub repository with 2,872 stars and 415 forks.
Trending score: 1.23; stars gained: +2; forks gained: +0.
Language: Haskell
Topics: agda, dependent-types, programming-language, proof-assistant, type-theory
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
GitHub repository with 2,511 stars and 378 forks.
Trending score: 1.20; stars gained: +3; forks gained: +1.
Language: Haskell
SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps ๐ฑ!
GitHub repository with 11,250 stars and 624 forks.
Trending score: 1.10; stars gained: +0; forks gained: +1.
Language: Haskell
CI and hosting for nix-based, flakified github repos
GitHub repository with 422 stars and 41 forks.
Trending score: 0.93; stars gained: +1; forks gained: +0.
Language: Haskell
A markup-based typesetting system that is powerful and easy to learn.
GitHub repository with 54,258 stars and 1,600 forks.
Trending score: 3.22; stars gained: +49; forks gained: +0.
Language: Rust
Topics: typesetting, compiler, markup, typst
web development for the rest of us
GitHub repository with 87,252 stars and 4,946 forks.
Trending score: 3.15; stars gained: +57; forks gained: +0.
Language: JavaScript
Topics: compiler, template, ui
Empowering everyone to build reliable and efficient software.
GitHub repository with 113,854 stars and 14,975 forks.
Trending score: 2.98; stars gained: +54; forks gained: +14.
Language: Rust
Topics: compiler, language, rust
Odin Programming Language
GitHub repository with 10,779 stars and 983 forks.
Trending score: 2.79; stars gained: +26; forks gained: +3.
Language: Odin
Topics: compiler, language, odin, odin-lang, odin-programming-language, programming-language
โ A collection of high-performance JavaScript tools.
GitHub repository with 21,596 stars and 1,077 forks.
Trending score: 2.77; stars gained: +19; forks gained: +1.
Language: Rust
Topics: compiler, javascript, linter, minifier, parser, transpiler
The core OCaml system: compilers, runtime system, base libraries
GitHub repository with 6,480 stars and 1,242 forks.
Trending score: 2.71; stars gained: +34; forks gained: +1.
Language: OCaml
Topics: compiler, functional-language, ocaml