haselwarter Goto Github PK

andromeda

A minimalist implementation of type theory, suitable for experimentation

andromeda-opam

autosubst

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

bbdb-vcard

vCard Import and Export for The Insidious Big Brother Database (BBDB)

beluga

Repository for the Beluga language

cartmell-thesis

HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”

clutch

A probabilistic relational separation logic with support for asynchronous couplings.

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.

coqdepgraph

emacs-calfw

A calendar framework for Emacs

formalabstracts

functory

a distributed computing library for OCaml

hacspec

A specification language for cryptography primitives.

haselwarter.github.io

hol-light

Automatically exported from code.google.com/p/hol-light

hott

Homotopy type theory

hott-intro

An introductory course to Homotopy Type Theory

inkscape

Draw freely -- mirror of the Inkscape bzr repository, unofficial

jasmin

Jasmin compiler

jtt-2018-01-nijmegen

k-9

K-9 Mail, An advanced email client for Android

logics-for-effects

martin-lof

papers of Per Martin Löf

math-comp

Mathematical Components

merlin

Context sensitive completion for Ocaml in Vim and Emacs

mosh

Mobile Shell

multiple-cursors.el

Multiple cursors for emacs.

ocaml

The core OCaml system: compilers, runtime system, base libraries

pdf-continuous-scroll-mode.el

A minor mode for Emacs that implements a two-buffer hack to provide continuous scrolling in pdf-tools

pdf-tools

Emacs support library for PDF files.