tomahawkins / mecha
A solid modeling language in Haskell.
☆29Updated 12 years ago
Related projects ⓘ
Alternatives and complementary repositories for mecha
- Plover is a language for matrix algebra on embedded systems.☆47Updated 3 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- An implementation of Functional Reactive Programming☆41Updated 9 years ago
- Public repo for the units-defs package of well-typed unit definitions.☆13Updated 3 years ago
- ☆14Updated 6 years ago
- VM and tracing JIT for Haskell (work in progress)☆77Updated 10 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆54Updated 6 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- Prototype of a web based, database driven Haskell IDE☆17Updated 8 years ago
- your dynamic optimization buddy☆27Updated 5 years ago
- Fork of official GHC repository.☆44Updated 9 months ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- Concurrency features for the Haskell machines package☆17Updated 2 years ago
- Simple lambda prover☆24Updated 9 years ago
- Example on how to integrate Haskell and C++ library.☆13Updated 9 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 5 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- [Talk] Framing the Discussion with EDSLs☆9Updated 9 years ago
- Vector & affine spaces, linear maps, and derivatives☆45Updated 3 months 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
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- A preprocessor for GHC for alternate Haskell syntaxes☆39Updated 9 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Manipulating numbers with inherent measurement/experimental uncertainty.☆25Updated 2 months ago