jonsterling/Idris-dev
A Dependently Typed Functional Programming Language
Developer Profile
jonsterling
Discovered public repositories for jonsterling in the GitHub catalog.
jonsterling/scotty-session
Adding session functionality to scotty
jonsterling/heroku-buildpack-ghc
Deploy Haskell apps to Heroku
jonsterling/cubical
Implementation of Univalence in Cubical Sets
jonsterling/lambdapi
An in-progress port of LambdaPi to Standard ML
jonsterling/CCG-Framework
A framework for testing multi-modal CCG constructions
jonsterling/pi-forall
A demo implementation of a simple dependently-typed language for OPLSS 2013
jonsterling/HoTT-Agda
Development of homotopy type theory in Agda
jonsterling/burnt-offering-secrets
Public repository.
jonsterling/CCG-paper
The type-theoretic definition of multimodal CCG. Written in informal type theory, proved in Agda.
jonsterling/polynomials-agda
Conor McBride's PolyTest — soon to be extended to Laurent polynomials hopefully.
jonsterling/book
A textbook on informal homotopy type theory
jonsterling/RAFExamples
An example of ReactiveFormlets use in the MVVM style
jonsterling/Symposium-Speeches-Paper
Derivative and Novel Speeches in Plato's Symposium
jonsterling/Dingle-Dangle
The Dingle-Dangle NL syntax formalism. The normalization bit is cribbed from various places.
jonsterling/Projectivity-Sophocles
Phrase Projectivity Analysis paper
jonsterling/dingle-dangle-agda-old
Public repository.
jonsterling/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
jonsterling/Coq-Up
A tarpit in Coq
jonsterling/NL-Coq
Natural Language Syntax in Coq: Baby Steps
jonsterling/singletons
Adding GHC type literal promotion to http://www.cis.upenn.edu/~eir/packages/singletons/. There are trade-offs.
jonsterling/Tmux-Haskell
A DSL for scripting Tmux in Haskell. [BTW, this doesn't really work. Sorry!]
jonsterling/Tasky
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.
jonsterling/ReactiveCocoa
A framework for composing and transforming sequences of values.
jonsterling/Lithos
A processor for Literate Haskell, inspired by Docco. Uses Pandoc, Highlighting-Kate, BlazeHtml and Shakespearean templates.
jonsterling/TaskWarriorWeb
A quick & dirty Yesod-based local web interface to TaskWarrior
jonsterling/Lens.hpp
Functional Lenses in C++
jonsterling/docco
Literate Programming can be Quick and Dirty.
jonsterling/Old-Saxon-Phonology
A guide to the pronunciation of Old Saxon.
jonsterling/Githood
A minimal Github client for iOS. No longer actively developed.
jonsterling/LaTeX-Macros
My personal macros