Application to count laps based on bluetooth dongle detection.
☆21May 1, 2019Updated 7 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:
- 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 12 years ago
- 微信公众平台服务器开发工具☆10Aug 24, 2023Updated 2 years ago
- for lstoll to work his magic on.☆18Jul 10, 2011Updated 14 years ago
- Purescript frontend scaffolder☆15Nov 27, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Haskell library to load & save pictures☆243Jan 15, 2026Updated 4 months ago
- Efficient data structures that represent renderable scenes☆39Mar 26, 2013Updated 13 years ago
- coveralls.io support for haskell code coverage with hpc☆60Sep 6, 2023Updated 2 years ago
- ☆19Jun 6, 2014Updated 12 years ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Jun 9, 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☆28Apr 6, 2026Updated 2 months ago
- ☆39Oct 19, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A general way to consume input using applicative functors☆152Jun 1, 2025Updated last year
- Dive into GHC☆83Dec 26, 2016Updated 9 years ago
- 一个长期没更新的 Blog~🏄☆31Jan 7, 2023Updated 3 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 10 years ago
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 3 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
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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)☆40May 9, 2026Updated last month
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- Programming with LVars, by example☆36Jul 20, 2015Updated 10 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 years ago
- Visual SPARQL query tool☆10Feb 26, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 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
- a hardware control platform that can be accessed on the web designed for LattePanda☆10Dec 16, 2016Updated 9 years ago
- MinIO Client SDK for Haskell☆52May 13, 2025Updated last year
- Serializes RDF from a SPARQL endpoint to JSON-LD documents☆10Sep 11, 2018Updated 7 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago