☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An optic library for ReScript (OCaml and ReasonML)☆18Sep 5, 2023Updated 2 years ago
- Advanced calculator with variables, functions and an easy to use UI☆11Oct 15, 2020Updated 5 years ago
- Several swing components and utilities☆12Aug 11, 2024Updated last year
- ☆16Dec 13, 2019Updated 6 years ago
- Openbiz Server Side Node.js Framework☆28Jan 4, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A simple browser/web-view container for running standalone single page apps on the desktop.☆17Mar 14, 2015Updated 11 years ago
- The official rom-rb website☆47Jul 4, 2025Updated last year
- Master Mind in Clojure for Clean Code Functional series.☆22Aug 17, 2018Updated 7 years ago
- Database and API implementation of Popolo standard☆23Jan 6, 2022Updated 4 years ago
- Abstract HTTP adapter for ROM☆73Dec 30, 2022Updated 3 years ago
- A library providing "isolated" clojure runtimes in a single jvm process.☆31Jan 28, 2022Updated 4 years ago
- You know what Sokoban is. Do you?☆25Apr 18, 2021Updated 5 years ago
- Java Puzzles☆25Aug 12, 2012Updated 13 years ago
- Source code for "Publishing with Emacs, Org-mode and Leanpub"☆35May 5, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Lightning-fast testing for a lightning-fast compiler☆54May 23, 2024Updated 2 years ago
- Light emacs theme that is easy on eyes.☆30Jun 6, 2020Updated 6 years ago
- ReScript bindings for Next.js☆47Sep 11, 2022Updated 3 years ago
- Inference Llama 2 in pure Zig☆48Dec 20, 2023Updated 2 years ago
- American style month/day/year parsing for ruby 1.9+☆106May 25, 2026Updated last month
- Clojure REPL curated tools, libraries and resources☆48Aug 3, 2020Updated 5 years ago
- A lightweight test framework for ReScript☆86May 11, 2026Updated 2 months ago
- Helm interface to CIDER☆65Jul 6, 2022Updated 4 years ago
- My notes on ClojureScript☆68Sep 10, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Type-safe PubSub and Registry for Gleam actors with distributed clustering support, built on Syn.☆89Aug 16, 2025Updated 11 months ago
- Learn Reagent course files for building GIGGIN app☆85Dec 28, 2022Updated 3 years 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 6 years ago
- A type-safe 3D game engine for Gleam☆114Mar 29, 2026Updated 3 months ago
- Source to clojure-toolbox.com☆183Feb 8, 2026Updated 5 months ago
- Emacs Clojure IDE based on UNREPL☆147Mar 1, 2018Updated 8 years ago
- Graph based visualization tool for re-frame event chains☆159May 18, 2021Updated 5 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.
- 🐦⬛ Snapshot testing in Gleam☆201Updated this week
- Inference Llama 2 in one file of pure Zig☆215Nov 21, 2024Updated last year
- Form validation tool for reason-react☆244Jul 7, 2026Updated 2 weeks ago
- Configure Vue.js components using ClojureScript, manage global state using Atoms.☆188Mar 15, 2021Updated 5 years ago
- Clojurescript UI Development with Graph Queries☆177Dec 26, 2019Updated 6 years ago
- Reagent Workshop for React developers☆177Sep 8, 2022Updated 3 years ago
- A common ground for better Clojure REPLs☆230May 28, 2019Updated 7 years ago