jonsterling Goto Github PK

lecture-notes

lens.hpp

Functional Lenses in C++

lithos

A processor for Literate Haskell, inspired by Docco. Uses Pandoc, Highlighting-Kate, BlazeHtml and Shakespearean templates.

luitzen

A possibly-wrong implementation of OTT (a fork of pi-forall)

martin-lof

papers of Per Martin Löf

math

A mini-book on category theory.

math-comp

Mathematical Components

math-translations

Hypertext translations of some classic mathematical papers into English

melpa

Recipes and build machinery for the biggest Emacs package repo

mllf

The Martin-Löf Logical Framework

mlton

The MLton repository

music

nl-coq

Natural Language Syntax in Coq: Baby Steps

nuprlincoq

ocaml-abt

(intrinsically typed) ABTs for OCaml

ocaml-ci-scripts

Skeletons for CI scripts

ocaml-modular-typechecking

Modular type checking using open types

ocaml-prelude

old-saxon-phonology

A guide to the pronunciation of Old Saxon.

parcom

SML Parser Combinator Library

pi-forall

A demo implementation of a simple dependently-typed language for OPLSS 2013

pollen

book-publishing system in Racket

polynomials-agda

Conor McBride's PolyTest — soon to be extended to Laurent polynomials hopefully.

projectivity-sophocles

Phrase Projectivity Analysis paper

pudding

A language-integrated proof assistant, for and in Racket

purescript-abt

Abstract binding trees for purescript

purescript-aff

An asynchronous effect monad for PureScript

purescript-aff-reattempt

A library for reattempting asynchronous computations

purescript-base

purescript-browserfeatures

A data type for browser features and detectors to test for the features.