Lists (1)
Stars
Я - extremely composable embeddable programming language
Lean 4 programming language and theorem prover
A formalization of continuation-passing style calculi in Coq [WIP]
Catalog of Elixir-specific code smells
Automate code & data workflows with interactive Elixir notebooks
A mixture of tooling combined to produce JavaScript from OCaml & Reason
Soluções dos problems do adventofcode.com
joanllenas / ts.data.json
Forked from aische/JsonDecoderA lightweight JSON decoding library for TypeScript
sapir / gcc-rust
Forked from gcc-mirror/gcca (WIP) Rust frontend for gcc / a gcc backend for rustc
🇨🇭 A React renderer for Three.js
Composable Concurrency Abstractions for JavaScript. 🛤️ 🦏 🚋 🚦
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.
Play with fluids in your browser (works even on mobile)
Alternative rust compiler (re-implementation)
A pandoc LaTeX template to convert markdown files to PDF or LaTeX.
A work-in-progress, open-source, multi-player city simulation game.
A TypeScript-like language for WebAssembly.