DIJamner

lambda-compiler

A simple compiler from the lambda calculus to MIPS assembly

InDependent

A gradual, dependently typed language

pyrosome

paramblame

Artifact for ICFP paper "Theorems for Free for Free"

skulpt

Skulpt is a Javascript implementation of the Python programming language

kubuntu-config

Configuring Kubuntu for my laptop

bap

Binary Analysis Platform

bil

A formal specification for BIL

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

dijamner.github.io

a personal website

docker-mtgo

Docker image with ready-to-play MTGO (Magic Online) for Linux and macOS

coq-stdlib-edits

Select edited files from the coq standard library

funtal

Idris-dev

A Dependently Typed Functional Programming Language

java-models-library

JDK 8 class model library

javawriter

A utility class which aids in generating Java source files.

liquidhaskell

Liquid Types For Haskell

mpc-autofill

Automating MakePlayingCards' online ordering system

nixpkgs

Nix Packages collection

PiBotAPI

an API for simple usage of the PiBot

riscv-coq

RISC-V Specification in Coq

website

Source for website at