jmitchell Goto Github PK

6887psets

Problem Sets for MIT 6.887 Formal Reasoning About Programs

abnf-to-tree-sitter

(WIP) Convert ABNF grammars to tree-sitter grammar.js inputs

alchemist.el

Elixir Tooling Integration Into Emacs

arm-iss

(pre-alpha) Instruction set simulator for the ARM architecture

armor

(WIP) ARM emulator

atom-language-abnf

ABNF language support in Atom

atom-language-dhall

Dhall language support in Atom (buggy and not released; see issue #2)

backtrex

Backtracking behaviour to solve discrete problems by brute force

birdnest

personal Emacs configuration

blodwen

A prototype successor to Idris

bnfc-mode

Emacs mode for BNFC files

boggle

Boggle data structures and algorithms in Haskell

cabal2nix

Generate Nix build instructions from a Cabal file

cardano-sl

pos cryptocurrency prototype

cargo

The Rust package manager

check-ci

poking CI systems for fun

compute-cluster

consul

Consul is a tool for service discovery, monitoring and configuration.

cpphs-blackbox

Blackbox testing for cpphs Haskell package on a variety of operating systems and GHC versions.

cryptonite-openssl

openssl crypto binding extending cryptonite with new crypto capabilities

daedalus

Daedalus - cryptocurrency wallet

daily-curriculum

Daily curriculum for Ada class

data_structures

Data structures implemented in Rust for fun and (not so much) profit

developers-intuition.hs

QuickCheck property-based testing demo based on John Hughes' talk

dhall-lang

A configuration language guaranteed to terminate

distribution

The Docker toolset to pack, ship, store, and deliver content

docker-rust

Rust development environment

ecto

A database wrapper and language integrated query for Elixir

edn

electron-api-demos

Explore the Electron APIs