tomahawkins / mecha
A solid modeling language in Haskell.
☆29Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for mecha
- Concurrency features for the Haskell machines package☆17Updated 2 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated last year
- Translate Pascal into Haskell☆51Updated 5 years ago
- Haskell Evaluation inside of LaTeX code.☆22Updated last year
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- ☆31Updated 3 years ago
- (DEPRECATED) Front-end of Copilot defining the user language.☆15Updated 3 years ago
- Graph database in Haskell☆24Updated 8 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Perform GPIO from Haskell☆21Updated 5 years ago
- Prototype of a web based, database driven Haskell IDE☆17Updated 8 years ago
- Haskell routes using dependent types☆10Updated 8 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Generate a cabal freeze file from a stack.yaml☆36Updated 6 years ago
- Use JuicyPixels datatypes in Servant Requests/Responses directly☆19Updated last year
- Quiver stream processing library☆15Updated 8 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- ☆8Updated 6 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 2 months ago
- A GHC type checker plugin for row types☆39Updated 7 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 3 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 8 years ago
- Easy bidirectional serialization in Haskell☆50Updated 5 years ago