☆24Feb 14, 2023Updated 3 years ago
Alternatives and similar repositories for kind-ai
Users that are interested in kind-ai are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Collection of Kind2 programs and proofs☆12May 17, 2024Updated 2 years ago
- Experimental Facet/V8 integration, marshalling/unmarshalling data between JavaScript and Rust☆29Jun 22, 2025Updated last year
- The Torus Blockchain implementation.☆24Jul 7, 2026Updated 3 weeks ago
- Deterministic, replicated sequencer for latency-critical applications. Rust, io_uring, LMAX-inspired. Ships with an exchange core.☆15Updated this week
- Choreograph distributed protocols in Quint.☆15Jun 23, 2026Updated last month
- 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.
- The landing page for React+d3.js☆10Nov 19, 2018Updated 7 years ago
- Generating procedural textures☆26Jun 22, 2021Updated 5 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- ☆27Apr 8, 2024Updated 2 years ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Feb 2, 2023Updated 3 years ago
- 🗃️ My personal .dotfiles☆16Jun 17, 2026Updated last month
- I/O based on inotify and file watchers☆18Jan 8, 2021Updated 5 years ago
- A tool to generate single-use keyless transactions to deploy smart contracts across chains.☆42Jun 16, 2023Updated 3 years ago
- A repo for my ORA book on client-side data storage.☆12Dec 3, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆12Jan 6, 2023Updated 3 years ago
- ☆12Jun 15, 2025Updated last year
- An efficient, secure cryptocomputer☆617Nov 25, 2023Updated 2 years ago
- 🦕 Open a file or URL using the default application of the user's platform (support Windows, macOS, and Linux)☆13Apr 6, 2024Updated 2 years ago
- The Codebase UI that ships with UCM☆21May 20, 2026Updated 2 months ago
- Provides the necessary prerequisites to compile GNU Octave using 64-bit indices.☆11Apr 13, 2020Updated 6 years ago
- Inspecting tool for GHC compilation pipeline☆34Sep 17, 2025Updated 10 months ago
- Based on introductory materials from college, help from professors, friends, videos and content from the internet. The [Cplusplus-For-Beg…☆12May 24, 2023Updated 3 years ago
- A simple, modern fuzzy finder tool to run examples in a Cargo project.☆14Apr 15, 2023Updated 3 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.
- Example to illustrate how to set up incremental Haskell Nix builds☆29Oct 25, 2022Updated 3 years ago
- Social note-taking☆28Jan 22, 2022Updated 4 years ago
- xplr wrapper for https://github.com/ouch-org/ouch☆15Mar 9, 2022Updated 4 years ago
- A simple and fast scrollbar for Neovim☆11Sep 6, 2022Updated 3 years ago
- A command-line tool for exposing a wrapped program's standard IO using WebSockets/SSE☆18Jul 21, 2026Updated last week
- Find out if your SSH keys are safe!☆12Oct 18, 2024Updated last year
- Local Time Machine for OrbitDB☆11Feb 13, 2026Updated 5 months ago
- A history with improved query parameter support☆12Nov 13, 2021Updated 4 years ago
- ☆12Mar 29, 2026Updated 4 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- LR(1) Parser for the Ambients Protocol☆12Jun 17, 2022Updated 4 years ago
- Convenience wrapper for cargo buildscript input/output☆16Mar 4, 2026Updated 4 months ago
- use delay/sleep/wait to async/await ES7☆12Jul 21, 2016Updated 10 years ago
- 2D platform game written in Rust☆11Apr 16, 2021Updated 5 years ago
- NSON is a lightweight data-interchange format like JSON or BSON☆15Jul 24, 2026Updated last week
- Open Props but with TailwindCSS names and variables☆13Dec 8, 2024Updated last year
- Find apps installed on your system. This util will help to find executables of a known app like Chrome, Firefox,... on Windows, Linux, an…☆15Oct 22, 2024Updated last year