csabahruska / demoscene
Demoscene: Lambda Team
☆20Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for demoscene
- 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
- [Talk] Framing the Discussion with EDSLs☆9Updated 9 years ago
- Utility functions for working with OpenGL BufferObjects, GLSL shaders, and textures.☆40Updated 4 years ago
- Haskell bindings to the Eigen C++ library☆16Updated 6 months ago
- 🏎️ Animation for sprites☆11Updated 5 years ago
- experiments with pext/pdep and codebruijn syntax☆14Updated 5 years ago
- Script to download all of Hackage☆14Updated 5 years ago
- 🎞️ Sprite frames to spritesheet & metadata☆18Updated 6 years ago
- Simple lambda prover☆24Updated 9 years ago
- Vector & affine spaces, linear maps, and derivatives☆45Updated 3 months ago
- lazy generators with observation☆15Updated last year
- Read ghc-core with style. javascript and CSS style.☆13Updated 9 years ago
- An Atari VCS 2600 emulator written in Haskell☆18Updated 2 years ago
- Bring fusion to everyone☆13Updated 4 years ago
- Reification of data structures using observable sharing☆28Updated 3 weeks ago
- Robust persistence for typed immutable data☆18Updated 8 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 5 years ago
- An haskell TrueType file parser☆36Updated last year
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Updated 7 years ago
- Interactive windows for displaying Haskell-generated diagrams☆16Updated 2 months ago
- View 3D models in the terminal☆10Updated 5 years ago
- Experiments with effect systems☆12Updated 8 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files☆33Updated 9 months ago
- Haskell Evaluation inside of LaTeX code.☆22Updated last year
- Continuously varying values, made easy :)☆40Updated 5 years ago
- A human readable style for binary data.☆11Updated 4 years ago