Popular repositories Loading

1. Midgard Midgard Public

   Logic programming on iOS

   Objective-C 1

2. solleks.github.io solleks.github.io Public

   A test of GitHub Pages

   HTML

3. linenoise linenoise Public

   Forked from antirez/linenoise

   A small self-contained alternative to readline and libedit

   C

4. FortranTests FortranTests Public

   Fortran

5. Recipes3 Recipes3 Public

   A recipe box app.

   Swift

6. LeanSyntax LeanSyntax Public

   A document that describes some relationships between Lean4 syntax and the Calculus of Constructions.

   Lean