Application to count laps based on bluetooth dongle detection.
☆21May 1, 2019Updated 6 years ago
Alternatives and similar repositories for cvc
Users that are interested in cvc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haldis is your friendly neighbourhood servant. He exists so lazy fucks like you and me don't need to keep tabs of who is ordering what fr…☆14Feb 20, 2026Updated last month
- Context switch for XMonad: switch between sets of workspaces☆11Apr 9, 2023Updated 2 years ago
- An implementation of FastSLAM, using three sonar (lossy) sensors☆12Jan 5, 2017Updated 9 years ago
- List of interactive prompt helpers to pimp the UIs of your haskell programs☆13Aug 26, 2023Updated 2 years ago
- A tiny object wrapper around the DOM, targeted at replacing the core of the manipulations found inside jQuery.☆54Apr 29, 2014Updated 11 years ago
- [Emacs] Helm interface for 知乎日报☆10Jun 25, 2016Updated 9 years ago
- for lstoll to work his magic on.☆18Jul 10, 2011Updated 14 years ago
- Haskell library to load & save pictures☆243Jan 15, 2026Updated 2 months ago
- coveralls.io support for haskell code coverage with hpc☆60Sep 6, 2023Updated 2 years ago
- A reference implementation of GPT-2 in Python, for teaching ML compilers☆21Mar 9, 2026Updated 2 weeks ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Jun 9, 2024Updated last year
- Trace the call graph of a Haskell program☆20Mar 17, 2023Updated 3 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Feb 8, 2024Updated 2 years ago
- A very small but fully functional wiki☆38Sep 14, 2012Updated 13 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Jun 28, 2017Updated 8 years ago
- WAI based library for web api☆28Jan 29, 2026Updated last month
- ☆39Oct 19, 2017Updated 8 years ago
- A general way to consume input using applicative functors☆152Jun 1, 2025Updated 9 months ago
- Dive into GHC☆82Dec 26, 2016Updated 9 years ago
- BYOHC workshop 活動記錄☆29Jul 21, 2016Updated 9 years ago
- Haskell GHC reading guide☆35Feb 6, 2021Updated 5 years ago
- A cross-platform file activity monitor☆71May 17, 2016Updated 9 years ago
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 2 years ago
- Attempt to port All About Monads to HaskellWiki☆54Oct 13, 2017Updated 8 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆77Nov 27, 2019Updated 6 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Generate tags file for haskell modules (GHC)☆40Mar 8, 2026Updated 2 weeks ago
- Quake 3 map viewer written in Haskell☆35Apr 18, 2017Updated 8 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Visual SPARQL query tool☆10Feb 26, 2016Updated 10 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- a panoramic video streamer☆13May 15, 2020Updated 5 years ago
- Uses Node.js and Leap Motion to control an AR Drone and stream video to the browser.☆62Nov 20, 2013Updated 12 years ago
- Example of combining Alex (lexical parser) and Happy (syntax parser)☆30Aug 30, 2024Updated last year
- A port of Eric Lippert's flathead Z-machine interpreter to MirageOS☆10Sep 27, 2019Updated 6 years ago