tomahawkins / mecha
A solid modeling language in Haskell.
☆29Updated 12 years ago
Alternatives and similar repositories for mecha:
Users that are interested in mecha are comparing it to the libraries listed below
- Prototype of a web based, database driven Haskell IDE☆17Updated 8 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆56Updated 6 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- ☆18Updated 2 years ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 5 years ago
- Library and macros to simplify writing Haskell FFI code☆39Updated 2 years ago
- ☆14Updated 7 years ago
- There are many category theory implementations, but this one is mine☆16Updated 8 months ago
- Scrap Your Boilerplate generic programming library in Haskell☆45Updated 4 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- ☆21Updated 8 years ago
- Miniature Haskell interactive environment for my kids to play around with☆12Updated 6 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- van Laarhoven Free Monad with Extensible Effects☆23Updated 9 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- A categorical framework for circuit construction☆31Updated 8 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32Updated last year
- Graph database in Haskell☆24Updated 8 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- ☆50Updated 5 months ago
- Reasonable Haskell default import☆27Updated 2 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Updated 9 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Haskell library for semigroup actions and torsors☆61Updated 2 months ago