Pinned Repositories
InDependent
A gradual, dependently typed language
kubuntu-config
Configuring Kubuntu for my laptop
lambda-compiler
A simple compiler from the lambda calculus to MIPS assembly
paramblame
Artifact for ICFP paper "Theorems for Free for Free"
pyrosome
skulpt
Skulpt is a Javascript implementation of the Python programming language
spring23
Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
bedrock2
A work-in-progress language and compiler for verified low-level programming
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
rupicola
Gallina to Bedrock2 compilation toolkit
DIJamner's Repositories
DIJamner/lambda-compiler
A simple compiler from the lambda calculus to MIPS assembly
DIJamner/InDependent
A gradual, dependently typed language
DIJamner/pyrosome
DIJamner/paramblame
Artifact for ICFP paper "Theorems for Free for Free"
DIJamner/skulpt
Skulpt is a Javascript implementation of the Python programming language
DIJamner/kubuntu-config
Configuring Kubuntu for my laptop
DIJamner/bap
Binary Analysis Platform
DIJamner/bil
A formal specification for BIL
DIJamner/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
DIJamner/dijamner.github.io
a personal website
DIJamner/docker-mtgo
Docker image with ready-to-play MTGO (Magic Online) for Linux and macOS
DIJamner/coq-stdlib-edits
Select edited files from the coq standard library
DIJamner/funtal
DIJamner/Idris-dev
A Dependently Typed Functional Programming Language
DIJamner/java-models-library
JDK 8 class model library
DIJamner/javawriter
A utility class which aids in generating Java source files.
DIJamner/liquidhaskell
Liquid Types For Haskell
DIJamner/mpc-autofill
Automating MakePlayingCards' online ordering system
DIJamner/nixpkgs
Nix Packages collection
DIJamner/PiBotAPI
an API for simple usage of the PiBot
DIJamner/riscv-coq
RISC-V Specification in Coq
DIJamner/website
Source for website at