John Ericson's repositories
rust-papers
An enrichment of Rust's core language to support more advanced features
clash-prelude-quickcheck
QuickCheck instances for various types in the CλaSH Prelude
haskell-vcache
large, persistent, memcached values and structure sharing for Haskell
wl-pprint-text-class
A Simple Class for Pretty Printing with wl-pprint-text, Analogous to Show
agda-scratchpad
Messing with Agda
bolos-rs
3rd party BOLOS SDK for Rust
clash-compiler
CAES Language for Synchronous Hardware
clash-prelude
CLaSH prelude library containing datatypes and functions for circuit design
core-region
A very small toy langauge, but it has regions
cranelift
Cranelift code generator (formerly, Cretonne)
harpy
Runtime code generation for x86 machine code (http://hackage.haskell.org/package/harpy)
modular-arithmetic
A useful type for working with integers modulo some constant.
multihash
Multihash Haskell implementation
nixos-artwork
Nix related artwork
nixos-hardware
NixOS modules covering hardware quirks
openspades
Compatible client of Ace of Spades 0.75
pyret-lang
The Pyret language.
rust-redex
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
rustypop
A not-yet-functional Rust parser written in LALRPOP.
spin-rs
A spinlock for rust
toy-os
Playground for building an OS
verified-braun-heaps
A (eventually) fully verified priority queue using Braun heaps in Agda
verilog
A Verilog parser for Haskell.
yacas
Computer calculations made easy
yi
The Haskell-Scriptable Editor