Lean 4 programming language and theorem prover

A formalization of continuation-passing style calculi in Coq [WIP]

Catalog of Elixir Refactorings

Catalog of Elixir-specific code smells

Recursos pra aprender Web3 e DeFi

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

Elixir port of libphonenumber

Materials for MI-AFP course tutorials

1.7kB JSON decoding library for Typescript

a (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.

An implementation of Pie in Haskell

Experimental voxel game engine.

👑 Functional WebGL

Play with fluids in your browser (works even on mobile)

A Clojure and ClojureScript game library

WebAssembly interpreter in C

Alternative rust compiler (re-implementation)

A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

Rust geospatial primitives & algorithms

🚀 👾 A Drone/UAV Programming Library for Rust.

A work-in-progress, open-source, multi-player city simulation game.

A TypeScript-like language for WebAssembly.

Lucet, the Sandboxing WebAssembly Compiler.

PROST! a Protocol Buffers implementation for the Rust Language