mjsottile / publicstuffLinks
Code related to things I post about online
☆21Updated 9 years ago
Alternatives and similar repositories for publicstuff
Users that are interested in publicstuff are comparing it to the libraries listed below
Sorting:
- A small implementation of a proof refinement logic.☆50Updated 8 years ago
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- An implementation of Functional Reactive Programming☆41Updated 10 years ago
- Brent's PhD thesis.☆69Updated 9 years ago
- Simple lambda prover☆24Updated 10 years ago
- A simple GUI for Agda☆31Updated 10 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆51Updated 9 years ago
- A geometric algebra implementation in Haskell☆32Updated 5 years ago
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆53Updated 6 years ago
- Web based opetopic editor☆36Updated last year
- An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …☆110Updated 6 years ago
- being the beginnings of at least zero typecheckers☆34Updated 8 years ago
- A Drum Machine DSL for Haskell☆95Updated 6 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 4 years ago
- Interpreter for functional pure type systems.☆21Updated 8 years ago
- A talk on type-generic FFT in Haskell☆46Updated 4 years ago
- Convert lambda expressions to CCC combinators☆149Updated 9 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Updated 7 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 7 years ago
- being the materials for Summer 2013's course☆113Updated 2 years ago
- A Haskell API into HTML5 Canvas☆72Updated 7 months ago
- ☆31Updated 11 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 8 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated last year
- Summer school on programming in Agda☆68Updated 2 years ago
- From Haskell to Hardware via CCCs☆58Updated 9 years ago
- Cross platform haskell library for using the serial port☆43Updated 5 years ago
- ALGT 2.0☆30Updated 5 years ago
- wherein I implement several substructural logics in Agda☆24Updated 7 years ago