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
- Concurrency features for the Haskell machines package☆17Updated 3 years ago
- LambdaCube 3D intermediate representation of 3D graphics pipelines. See:☆8Updated last year
- Translate Pascal into Haskell☆51Updated 5 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- Prototype of a web based, database driven Haskell IDE☆17Updated 8 years ago
- Library and macros to simplify writing Haskell FFI code☆39Updated 2 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Example on how to integrate Haskell and C++ library.☆13Updated 9 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆55Updated 6 years ago
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 6 months ago
- Extended Kalman filtering in Haskell☆23Updated 6 years ago
- Generalized Convolution and Efficient Language Recognition☆17Updated 5 years ago
- An implementation of Functional Reactive Programming☆40Updated 10 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Updated 3 years ago
- simple interface to ghc's simd vector support☆23Updated 9 years ago
- (DEPRECATED) Front-end of Copilot defining the user language.☆15Updated 4 years ago
- van Laarhoven Free Monad with Extensible Effects☆23Updated 9 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆13Updated 7 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- ☆14Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆24Updated 6 years ago