LOGOS Programming Language + Supercompiler + Proof Kernel + Wire Transport Codec
☆43Jul 20, 2026Updated 3 months ago
Alternatives and similar repositories for logicaffeine
Users that are interested in logicaffeine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Ask your business anything. Open-source operating intelligence that reads your data, answers questions, and acts within your rules. Apach…☆19Oct 24, 2026Updated last week
- A Swiss knife for Noir☆18Oct 1, 2026Updated 3 weeks ago
- A free Android logbook for blood sugar. No account, no internet, no cloud — everything stays on the phone.☆20Oct 2, 2026Updated 3 weeks ago
- Typescript parser combinator library☆15Jan 9, 2026Updated 9 months ago
- smartKNN - A feature-weighted KNN algorithm with automatic preprocessing, normalization, and learned feature importance.☆33Mar 11, 2026Updated 7 months 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.
- Ring Signature-like Protocol for Anonymous Ethereum Signatures☆10Nov 21, 2024Updated last year
- Pair Programming Mixture of Agents: An agentic pair programming partner that embodies the collective wisdom of software engineering thoug…☆11Jul 27, 2025Updated last year
- ☆11Feb 19, 2026Updated 8 months ago
- another url shortener but open source and cool 😎☆12Feb 3, 2024Updated 2 years ago
- The ultimate unified observability backend powering seamless, intelligent correlation and AI-driven insights across metrics, logs, and tr…☆16Mar 24, 2026Updated 7 months ago
- I like to learn new things☆12Feb 28, 2026Updated 8 months ago
- ☆17Aug 18, 2026Updated 2 months ago
- What if salsa but tokio-friendly☆52Jun 18, 2026Updated 4 months ago
- ☆40Dec 15, 2024Updated last year
- 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.
- Ecto helper functions.☆38Jan 13, 2021Updated 5 years ago
- Socket controlled canvas for your terminal.☆10Feb 19, 2024Updated 2 years ago
- tmux plugin for pomodoro technique☆13Oct 23, 2024Updated 2 years ago
- ZK Theorem Proving☆10Aug 11, 2024Updated 2 years ago
- This is a socket library for making it easier to use sockets in BQN☆11Sep 19, 2026Updated last month
- Welcome to TotallySafe, the Rust library that lets you boldly go where no safe code has gone before; all without a single unsafe block!☆13Aug 6, 2026Updated 2 months ago
- Solidity implementation of CDF with 1e-8 precision.☆13Jul 17, 2024Updated 2 years ago
- Parallel implementation of Self-Organizing Map (SOM) algorithm with MapReduce-MPI☆15Nov 4, 2011Updated 14 years ago
- Sequence-Transform is a user library for QMK that enables a rich declarative ruleset for transforming a sequence of keypresses into any o…☆11Jan 27, 2026Updated 9 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- An experimental Java bytecode to C++ transpiler☆13Jan 24, 2016Updated 10 years ago
- Project Sato - C2☆10Apr 24, 2025Updated last year
- Bad Apple , but as a Rust type☆12Mar 13, 2026Updated 7 months ago
- FORK - Dependabot Merges Only - Free cross-platform password manager compatible with KeePass☆11Jan 28, 2026Updated 9 months ago
- gemini_client_rs is a transport-focused Rust SDK for the Google Gemini API.☆13Apr 18, 2026Updated 6 months ago
- ☆11May 28, 2025Updated last year
- A persistent context and fieldcraft system for AI-assisted bug bounty hunting.☆14Sep 5, 2026Updated last month
- 🚀 Ultra-lightweight, blazing-fast, zero-dependency CLI parser — inspired by Clap.☆11Jul 3, 2025Updated last year
- Reformat a live LLM token stream inflight — separate thinking from answer, collapse repetition, normalize. Google Vertex / OpenRouter / m…☆21Aug 17, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A comprehensive C language grammar parser library written in Rust, implementing the C23 standard (ISO/IEC 9899:2023).☆13Jun 7, 2026Updated 4 months ago
- Rust + Tor (embedded) + Static (compile) + Windows + Proof of Concept☆13Feb 4, 2018Updated 8 years ago
- ☆11Sep 24, 2024Updated 2 years ago
- A simple executable git status for your shell prompt☆10Jan 29, 2024Updated 2 years ago
- Compiler from Webassembly to native binaries☆15Nov 19, 2025Updated 11 months ago
- Bad Apple but it's an SVG using SMIL☆15Aug 30, 2023Updated 3 years ago
- A git command to quickly save your local changes in case of earthquake☆15Mar 9, 2023Updated 3 years ago