Clafer is a lightweight modeling language
☆48Feb 18, 2025Updated last year
Alternatives and similar repositories for clafer
Users that are interested in clafer are comparing it to the libraries listed below
Sorting:
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated last month
- Synchronize directory hierarchies using Hash-Tree's☆23Dec 13, 2020Updated 5 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Micro-benchmarking of Haskell code with detailed execution time statistics.☆18Aug 9, 2025Updated 6 months ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- An implementation of the Mixcoin mixing protocol☆13Nov 12, 2014Updated 11 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Mar 19, 2018Updated 7 years ago
- A small (but hopefully growing) subset of the brl-cad primitives, being emitted as tcl scripts that mged can directly process into databa…☆10Dec 16, 2025Updated 2 months ago
- Haskell bindings to liblzma☆18Dec 27, 2024Updated last year
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 3 years ago
- Presenters, titles & links☆10Apr 13, 2015Updated 10 years ago
- A short scripts and programs☆11Jan 5, 2023Updated 3 years ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- Fluent for Elm (translation and l10n/i18n solution)☆16Jan 19, 2026Updated last month
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆18Sep 17, 2016Updated 9 years ago
- WIP: A custom git command for formatting code☆11Feb 15, 2018Updated 8 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Mar 3, 2022Updated 4 years ago
- A human readable style for binary data.☆12Dec 4, 2019Updated 6 years ago
- IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl☆19Mar 16, 2023Updated 2 years ago
- Rust bindings for the Sophia[http://sphia.org/] embedded database system.☆15Jul 17, 2015Updated 10 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- Migrating to https://github.com/origamitower/folktale☆20Sep 6, 2016Updated 9 years ago
- Create tarballs from Leiningen projects.☆25Oct 20, 2014Updated 11 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- ☆16Jan 18, 2015Updated 11 years ago
- ☆15May 16, 2017Updated 8 years ago
- New Relic® agent SDK wrapper for Haskell☆13Dec 27, 2017Updated 8 years ago
- dataframe visualiser☆17Aug 13, 2019Updated 6 years ago
- Example of embedding Servant within a Yesod Application☆15Aug 23, 2016Updated 9 years ago
- Website for ImplicitCAD☆15Dec 25, 2019Updated 6 years ago
- Blog showing content form steem blockchian using steemit platform and api.☆10May 26, 2017Updated 8 years ago
- Haskell priority queue package☆17Jan 3, 2026Updated 2 months ago
- Webpack config generator for React apps☆12May 5, 2016Updated 9 years ago