Popular repositories Loading

1. rust rust Public

   Forked from rust-lang/rust

   Empowering everyone to build reliable and efficient software.

   Rust

2. hispania hispania Public

   Semi-Automated Language Changes from Latin to Spanish

   TeX

3. metaphono metaphono Public

   Standard ML

4. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

   Standard ML

5. agda agda Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell

6. metaphono-korean metaphono-korean Public

   Common Lisp