☆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
- Gather statistics about the jvm garbage collection and push into ganglia☆32Feb 18, 2010Updated 16 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
- A flexible, Datomic-inspired, config-driven Extraction system (big E in ETL)☆14Jul 27, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆16Dec 13, 2019Updated 6 years ago
- Openbiz Server Side Node.js Framework☆28Jan 4, 2015Updated 11 years ago
- Java Puzzles☆25Aug 12, 2012Updated 13 years ago
- Master Mind in Clojure for Clean Code Functional series.☆22Aug 17, 2018Updated 7 years ago
- Database and API implementation of Popolo standard☆22Jan 6, 2022Updated 4 years ago
- Emacs support for the Chruby version switcher for Ruby☆37Jan 14, 2018Updated 8 years ago
- 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
- Source code for "Publishing with Emacs, Org-mode and Leanpub"☆35Jul 16, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- DEPRECATED: See the canonical repository at @twitter/twitter-text-java☆75Sep 19, 2011Updated 14 years ago
- zip-visit☆58Nov 21, 2022Updated 3 years ago
- Lightning-fast testing for a lightning-fast compiler☆54May 23, 2024Updated last year
- Light emacs theme that is easy on eyes.☆30Jun 6, 2020Updated 5 years ago
- ReScript bindings for Next.js☆48Sep 11, 2022Updated 3 years ago
- Arrow implementation in Mojo☆66Updated this week
- Author APIs in pure Mojo☆41Mar 30, 2026Updated last week
- Clojure REPL curated tools, libraries and resources☆48Aug 3, 2020Updated 5 years ago
- OpenAI SDK with streaming support☆51Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Get up to speed with Zig quickly.☆45Oct 3, 2023Updated 2 years ago
- Terminal based text styling, formatting, and layouts!☆56Mar 29, 2026Updated last week
- GADT lenses☆105Oct 16, 2021Updated 4 years ago
- A lightweight test framework for ReScript☆84Dec 17, 2025Updated 3 months ago
- ☆65Jul 25, 2016Updated 9 years ago
- My notes on ClojureScript☆68Sep 10, 2021Updated 4 years ago
- Helm interface to CIDER☆65Jul 6, 2022Updated 3 years ago
- A port of mdbook to nim(ib)☆87Mar 16, 2025Updated last year
- my blog engine (no longer maintained)☆141Oct 12, 2016Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Clojurescript UI Development with Graph Queries☆177Dec 26, 2019Updated 6 years ago
- SmartGPT is a implementation of a dynamic prompting system, inspired by [AI Explained](https://www.youtube.com/@ai-explained-) on YouTub…☆68Jan 22, 2026Updated 2 months ago
- Learn Reagent course files for building GIGGIN app☆85Dec 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
- see:☆126Feb 20, 2021Updated 5 years ago
- Human-friendly date & time for Mojo 🔥☆119Oct 1, 2024Updated last year