☆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
- ☆47Aug 25, 2024Updated 2 years ago
- Experimental Facet/V8 integration, marshalling/unmarshalling data between JavaScript and Rust☆29Jun 22, 2025Updated last year
- Implementation of bitswap protocol for libp2p☆19Feb 3, 2026Updated 8 months ago
- The Simple Switch Cases Configuration PreProcessor☆12Mar 4, 2020Updated 6 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.
- A LISP interpreter written in ReasonML, targeting native and browser environments☆17Sep 17, 2018Updated 8 years ago
- Instrument tokio tasks, OS threads, tokio/parking_lot locks, roam RPC☆27Jun 17, 2026Updated 3 months ago
- Practice typing In your favorite programming language☆12Apr 27, 2014Updated 12 years ago
- Amalgame: a SKOS vocabulary alignment tool☆12May 19, 2025Updated last year
- An efficient finite map from (byte)strings to values.☆20Oct 1, 2026Updated last week
- Reichsanzeiger-NLP: NER/NEL corpus for the German historical newspaper "Deutscher Reichsanzeiger und Preußischer Staatsanzeiger" (1819–19…☆16Oct 18, 2024Updated last year
- Generating procedural textures☆26Jun 22, 2021Updated 5 years ago
- A minimalist, layered color theme for Emacs☆21Jun 20, 2024Updated 2 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- GND (Gemeinsame Normdatei) Ontologie☆15Jul 8, 2026Updated 3 months ago
- ☆27Apr 8, 2024Updated 2 years ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Feb 2, 2023Updated 3 years ago
- Fast Function Dispatch: Improving the performance of Rust's dynamic function calls☆40Oct 19, 2024Updated last year
- A tool to generate single-use keyless transactions to deploy smart contracts across chains.☆42Jun 16, 2023Updated 3 years ago
- A python module and REST API for automatic extraction of metadata from PDF files☆19Aug 10, 2026Updated last month
- Generate RDFS vocabulary files from YAML☆27Oct 1, 2026Updated last week
- An efficient, secure cryptocomputer☆617Nov 25, 2023Updated 2 years ago
- Super small pattern matching library for TS projects☆11Feb 19, 2022Updated 4 years 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.
- 🦕 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☆21Updated this week
- Provides the necessary prerequisites to compile GNU Octave using 64-bit indices.☆11Apr 13, 2020Updated 6 years ago
- 🦈 Bringing the most loved component library of 2023 to Vue.☆12Jul 5, 2023Updated 3 years ago
- Woodstock backup is a backup software. The purpose is to backup software from a central point. Instead of launching the backup from the c…☆10Sep 30, 2026Updated last week
- A simple, modern fuzzy finder tool to run examples in a Cargo project.☆14Apr 15, 2023Updated 3 years ago
- An Object/Relational Mapper for Racket☆25Mar 10, 2021Updated 5 years ago
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Sep 14, 2021Updated 5 years ago
- xplr wrapper for https://github.com/ouch-org/ouch☆15Mar 9, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- TARGET and HOST tuples☆17Sep 8, 2026Updated last month
- Language experimentation.☆22Sep 24, 2026Updated 2 weeks ago
- An OCaml wrapper library that makes it easy to send email with different services.☆25Nov 1, 2021Updated 4 years ago
- Find out if your SSH keys are safe!☆12Oct 18, 2024Updated last year
- A history with improved query parameter support☆12Nov 13, 2021Updated 4 years ago
- sop, a swiss-army knife for processing RDF and Linked Data on the command line☆22Sep 15, 2026Updated 3 weeks ago
- A universal static type checking solution for use in flow-based-programming systems☆12Aug 30, 2017Updated 9 years ago