gergoerdi / metafunView external linksLinks
Compile Haskell-like code into C++ template metaprograms
☆66Jun 27, 2016Updated 9 years ago
Alternatives and similar repositories for metafun
Users that are interested in metafun are comparing it to the libraries listed below
Sorting:
- ☆11Nov 2, 2021Updated 4 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- ☆18Aug 31, 2022Updated 3 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago
- An Ivory library inspired by Atom☆14Oct 17, 2016Updated 9 years ago
- Hierarchical computation graphs; details at☆19Sep 6, 2016Updated 9 years ago
- Functional Lenses in C++☆21Jul 31, 2011Updated 14 years ago
- Simple Virtual Machine written in Haskell☆28May 10, 2014Updated 11 years ago
- Nat, Fin, Vec☆25May 2, 2025Updated 9 months ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- transducers in C++ 14☆40Sep 23, 2014Updated 11 years ago
- Rope data structure used by Yi☆20Jun 6, 2018Updated 7 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated last year
- high-resolution performance benchmarking☆26Feb 2, 2026Updated last week
- Convert lambda expressions to CCC combinators☆149Feb 23, 2016Updated 9 years ago
- A programming action game.☆13Feb 15, 2024Updated last year
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 2 months ago
- Open Dynamics Engine 0.12 plus test projects☆15May 23, 2012Updated 13 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- Import from the Tiled map editor.☆16Sep 17, 2018Updated 7 years ago
- Union mount in Haskell, with fsnotify☆12Dec 23, 2025Updated last month
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Super Nario - Haskell clone (mirror)☆13May 7, 2020Updated 5 years ago
- Haskell bindings to nanomsg☆25Jul 19, 2025Updated 6 months ago
- ☆23Nov 13, 2014Updated 11 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 7 years ago
- ☆31Dec 19, 2015Updated 10 years ago
- Monitor nginx access logs in real time.☆25Dec 9, 2019Updated 6 years ago
- it's a starcraft clone but with a dope typesystem☆51Apr 7, 2020Updated 5 years ago
- A REPL for nix expressions in your browser☆13May 5, 2018Updated 7 years ago
- ☆12Jun 13, 2019Updated 6 years ago
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- Source code for doisinkidney.com☆14Jan 5, 2026Updated last month
- ALMOND: Adaptive Latent Modeling and Optimization via Neural Networks and Langevin Diffusion☆13Nov 16, 2019Updated 6 years ago
- A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Program…☆22Jan 25, 2012Updated 14 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago