Popular repositories Loading

1. type-plugs type-plugs Public

   Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.

   Rust 30 1

2. bfjit-idr bfjit-idr Public

   Brainfuck JIT/Compiler made with Idris

   Idris 2 1

3. Idris-dev Idris-dev Public

   Forked from idris-lang/Idris-dev

   A Dependently Typed Functional Programming Language

   Haskell

4. kernel kernel Public

   Forked from fluffninja/kernel

   Kernel

   C

5. mlc mlc Public

   Multi-language compilation tool

   D

6. completely-unscientific-benchmarks completely-unscientific-benchmarks Public

   Forked from frol/completely-unscientific-benchmarks

   Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, C++, Java)

   C++