Popular repositories Loading

1. index_calculus index_calculus Public

   Lean 1 1

2. 4ever-clojure 4ever-clojure Public

   Forked from oxalorg/4ever-clojure

   Pure cljs version of 4clojure, meant to run forever!

   Clojure

3. lem-project.github.io lem-project.github.io Public

   Forked from lem-project/lem-project.github.io

   Webpage for the Lem project

   HTML

4. descend descend Public

   Forked from descend-lang/descend

   An attempt at safe imperative GPU programming.

   Rust

5. nushell nushell Public

   Forked from nushell/nushell

   A new type of shell

   Rust

6. reedline reedline Public

   Forked from nushell/reedline

   A feature-rich line editor - powering Nushell

   Rust