Popular repositories Loading

1. coq-of-rust coq-of-rust Public

   Forked from formal-land/coq-of-rust

   Check 100% of execution cases of Rust programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦 Formal verification

   Coq 1

2. jonesforth jonesforth Public

   Forked from nornagon/jonesforth

   Mirror of JONESFORTH

   Assembly

3. joy1 joy1 Public

   Forked from Wodan58/joy1

   Manfred von Thun's Programming Language Joy

   C

4. interim interim Public

   Forked from mntmn/interim

   The Interim Operating System

   C

5. black black Public

   Forked from namin/black

   Kenichi Asai's reflective programming language Black

   Scheme

6. forthlisp forthlisp Public

   Forked from schani/forthlisp

   A Small Lisp in Forth

   Forth