10 open source projects by jonsterling

An proof refinement logic for computational type theory based on realizability & the verificationist meaning explanation. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]

A minimal Github client for iOS. No longer actively developed.

I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.

An example of ReactiveFormlets use in the MVVM style

secret project

Functional Lenses in C++

A Taskwarrior client. This was created to fill my own need: feel free to modify it! If it looks really ugly, you probably have your terminal configured wrong.

A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.