☆23Jan 15, 2023Updated 3 years ago
Alternatives and similar repositories for cv
Users that are interested in cv are comparing it to the libraries listed below
Sorting:
- Readability for Emacs☆39Jun 28, 2020Updated 5 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Type definitions and low level interface implementations for the W3C WebSocket API☆11Apr 27, 2022Updated 3 years ago
- ☆11Jun 26, 2022Updated 3 years ago
- A minitest plugin that adds a report of the top tests by number of objects allocated.☆51Jan 4, 2026Updated 2 months ago
- Use ido to answer yes or no questions.☆13Nov 20, 2016Updated 9 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- My personal web site☆17Feb 18, 2026Updated last month
- An open source traffic light control program☆11Sep 28, 2018Updated 7 years ago
- Musical experiments in live coding, functional programming in Clojure and Haskell using TidalCycles, Overtone and/or Leipzig☆14May 5, 2017Updated 8 years ago
- ☆10Nov 7, 2019Updated 6 years ago
- honeysql sister☆16May 3, 2018Updated 7 years ago
- An attempt at a game in Haskell in the form of a short demo. It uses an ECS library called Apecs along with a wrapper for SDL2.☆15Sep 11, 2025Updated 6 months ago
- Try Idris☆35Sep 7, 2015Updated 10 years ago
- Gradle plugin to use SpecialSource☆12Jul 30, 2025Updated 7 months ago
- 🔥 Server-side content modloader for Spigot.☆10Nov 8, 2024Updated last year
- ☆15Mar 11, 2022Updated 4 years ago
- Pretty printer of Scala☆20Oct 21, 2020Updated 5 years ago
- Alabaster theme for emacs.☆25Mar 10, 2022Updated 4 years ago
- Interactive learning app for dry-rb workshops☆15Nov 1, 2017Updated 8 years ago
- Dash docset generator for ClojureDocs.org☆24Dec 11, 2015Updated 10 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 7 years ago
- GIS tools workbench for FreeCAD☆15Jul 30, 2022Updated 3 years ago
- CGP-based DSL to build shell-like applications☆50Feb 28, 2026Updated 3 weeks ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- experiments with pext/pdep and codebruijn syntax☆17Nov 17, 2019Updated 6 years ago
- Iron Chests for Fabric Mod Loader☆12Jan 27, 2026Updated last month
- extract repeating clojure code to work with postgresql☆21Oct 19, 2019Updated 6 years ago
- UXBox Backend☆22Nov 20, 2016Updated 9 years ago
- A slimmed down gentoo linux livecd/liveusb iso that allows to load different boot options and runs from RAM upon boot. A VCTLabs project.☆11Feb 18, 2020Updated 6 years ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- Node.js Minecraft Proxy which displays packets. 1.7-compatible☆19Aug 20, 2021Updated 4 years ago
- This is the Bear engine and its editors☆16Dec 26, 2025Updated 2 months ago
- Exercises from the "Clojure for the Brave & True" ebook☆15Apr 13, 2016Updated 9 years ago
- Emacs minor mode for Code coverage highlighting☆23Jun 4, 2020Updated 5 years ago
- An example application for sdl2.☆25Feb 19, 2022Updated 4 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆25Nov 29, 2025Updated 3 months ago
- Some tools to perform cad like functions in QGIS.☆22Nov 30, 2019Updated 6 years ago
- An Atari VCS 2600 emulator written in Haskell☆18Feb 16, 2022Updated 4 years ago