☆31Sep 12, 2018Updated 7 years ago
Alternatives and similar repositories for verification
Users that are interested in verification are comparing it to the libraries listed below
Sorting:
- An optic library for ReScript (OCaml and ReasonML)☆18Sep 5, 2023Updated 2 years ago
- A wizard demo powered by Stent state machine, Redux, and React☆14Feb 12, 2019Updated 7 years ago
- Search and preview for MailDir files on MacOS☆16Sep 1, 2017Updated 8 years ago
- Node Util for controlling an AM43 Blinds Drive Cover, either over MQTT or via a HTTP API☆10Oct 15, 2023Updated 2 years ago
- Fast ElasticSearch indexer for MIME email☆13Feb 3, 2018Updated 8 years ago
- Several swing components and utilities☆12Aug 11, 2024Updated last year
- ☆12Nov 2, 2022Updated 3 years ago
- A flexible, Datomic-inspired, config-driven Extraction system (big E in ETL)☆14Jul 27, 2019Updated 6 years ago
- A simple browser/web-view container for running standalone single page apps on the desktop.☆17Mar 14, 2015Updated 11 years ago
- Master Mind in Clojure for Clean Code Functional series.☆22Aug 17, 2018Updated 7 years ago
- ☆11Jun 17, 2024Updated last year
- You know what Sokoban is. Do you?☆25Apr 18, 2021Updated 4 years ago
- A library providing "isolated" clojure runtimes in a single jvm process.☆31Jan 28, 2022Updated 4 years ago
- ☆28Updated this week
- zip-visit☆58Nov 21, 2022Updated 3 years ago
- Lightning-fast testing for a lightning-fast compiler☆54May 23, 2024Updated last year
- ESP32 with 7 inches cappacitive LCD test LVGL8☆23Mar 7, 2026Updated 2 weeks ago
- ReScript bindings for Next.js☆49Sep 11, 2022Updated 3 years ago
- Network scanner with webinterface and notifications.☆26Jun 19, 2025Updated 9 months ago
- Alternative way to control bluetooth Yeelock devices☆22Jan 10, 2024Updated 2 years ago
- Clojure REPL curated tools, libraries and resources☆48Aug 3, 2020Updated 5 years ago
- ☆28Jan 29, 2025Updated last year
- Bash scripts for near real-time mirroring of your data to the Cloud using rclone (https://github.com/ncw/rclone)☆23Jan 10, 2017Updated 9 years ago
- Tool for merging firefox bookmarks backups.☆34Nov 30, 2022Updated 3 years ago
- GADT lenses☆105Oct 16, 2021Updated 4 years ago
- Reverse shell container for k8s deployments☆49Feb 21, 2020Updated 6 years ago
- A lightweight test framework for ReScript☆84Dec 17, 2025Updated 3 months ago
- Command-line utility for Tangling of Org documents — programmed in Nim.☆80Mar 3, 2022Updated 4 years ago
- My notes on ClojureScript☆68Sep 10, 2021Updated 4 years ago
- Helm interface to CIDER☆65Jul 6, 2022Updated 3 years ago
- my blog engine (no longer maintained)☆141Oct 12, 2016Updated 9 years ago
- Clojurescript UI Development with Graph Queries☆177Dec 26, 2019Updated 6 years ago
- Frigate on Jetson Nano research☆54Jun 11, 2021Updated 4 years ago
- Learn Reagent course files for building GIGGIN app☆86Dec 28, 2022Updated 3 years ago
- Graph based visualization tool for re-frame event chains☆159May 18, 2021Updated 4 years ago
- ReScript bindings to the DOM and other Web APIs☆158May 19, 2025Updated 10 months ago
- A sample Clojure CLI project containing Clojure and ClojureScript☆114Dec 22, 2020Updated 5 years ago
- see:☆126Feb 20, 2021Updated 5 years ago
- My Emacs config☆118Jul 17, 2020Updated 5 years ago