Popular repositories Loading

1. niecza niecza Public

   A Perl 6 compiler targetting the CLR with an experimental focus on optimizations.

   C# 152 15

2. metamath-turing-machines metamath-turing-machines Public

   metamath proof enumerators and other things

   Tcl 92 13

3. smetamath-rs smetamath-rs Public

   sorear's Metamath system engine - version 3 Rust

   Rust 25 6

4. smm smm Public

   sorear's Metamath system engine

   JavaScript 13 4

5. libuv-rs libuv-rs Public

   Rust bindings to libuv

   Rust 12 3

6. TAEB TAEB Public

   Forked from DrSunglasses/TAEB

   the Tactical Amulet Extraction Bot (for NetHack)

   Perl 5 1