blitzcode / rust-exp
Software rasterization, N-Body simulation and Game of Life in Rust + Haskell
☆109Updated 8 years ago
Related projects: ⓘ
- Type-safe, type-level and stateless Haskell graphics framework☆109Updated 7 years ago
- Toy example of calling Rust from Haskell☆131Updated 9 years ago
- Algebraic structure and emulation of higher kinded types for Rust☆106Updated 5 years ago
- Parser and pretty-printer for the Rust language☆86Updated last year
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆132Updated 7 years ago
- ☆262Updated this week
- Use snippets of Rust inline in your Haskell programs☆223Updated 3 years ago
- GHC plugin that improves Haskell code's numerical stability☆191Updated 8 years ago
- A black hole raytracer written in Haskell☆171Updated 2 years ago
- haskell, opengl, toy project☆210Updated 5 years ago
- Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & aut…☆179Updated 5 years ago
- Rust API search engine☆54Updated 9 years ago
- ☆62Updated this week
- xmonad with the X11 abstracted and configured with Idris☆204Updated 5 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated last year
- Using GHC with musl libc to get true static linking☆75Updated 9 years ago
- Collection of Idris tests and demonstration programs☆189Updated 6 years ago
- Convert lambda expressions to CCC combinators☆146Updated 8 years ago
- LTS Haskell build plans☆158Updated last month
- Coq to Rust program extraction. The whole tree is on the original Coq code base.☆222Updated 9 years ago
- Haskell JIT☆181Updated 4 years ago
- An attempt at porting Elm's incredibly useful, purely functional std graphics modules.☆145Updated 8 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 3 years ago
- djb's redo implementation in Haskell (for Haskell from Scratch video series)☆144Updated 6 years ago
- OpenGL-based rendering engine with embedded language that compiles to GLSL.☆76Updated 4 years ago
- ☆83Updated this week
- ☆99Updated 6 years ago
- A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writin…☆16Updated 9 years ago
- A small strongly typed language that compiles to C++11☆152Updated 5 years ago