Alex Feldman-Crough's repositories
counsel-projectile
Ivy UI for Projectile
evil-multiedit
Multiple cursors for evil-mode, based on iedit
nom
Rust parser combinator framework
Language:RustMIT000
racket
The Racket repository
Language:Racket000
racket-base32
Base32 encoding/decoding in Racket
Language:Racket000
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Language:HaskellNOASSERTION000
typed-struct-props
Makes a small subset of struct type properties available in Typed/Racket. The API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties.