LOGOS Programming Language + Supercompiler + Proof Kernel + Wire Transport Codec
☆42Jul 20, 2026Updated 2 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:
- ☆15Sep 28, 2026Updated last week
- Typescript parser combinator library☆15Jan 9, 2026Updated 9 months ago
- A small desktop application made with Tauri to save excalidraw whiteboards locally☆19Jun 22, 2023Updated 3 years ago
- High-Performance JSON Mock Data Generation Library☆17Jan 10, 2026Updated 9 months ago
- Platform for creating DDP-based APIs for Meteor apps☆17Feb 21, 2016Updated 10 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.
- LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.☆65Sep 25, 2026Updated 2 weeks ago
- Ring Signature-like Protocol for Anonymous Ethereum Signatures☆10Nov 21, 2024Updated last year
- ☆40Dec 15, 2024Updated last year
- another url shortener but open source and cool 😎☆12Feb 3, 2024Updated 2 years ago
- Pure rust units-of-measure library for applied numerical analysis☆31Sep 18, 2026Updated 3 weeks ago
- A Hashicorp Configuration Language plugin for nushell☆13Sep 29, 2026Updated last week
- Socket controlled canvas for your terminal.☆10Feb 19, 2024Updated 2 years ago
- gemini_client_rs is a transport-focused Rust SDK for the Google Gemini API.☆13Apr 18, 2026Updated 5 months ago
- tmux plugin for pomodoro technique☆13Oct 23, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- I/O at the speed of light. Safe abstractions for io_uring on stackful coroutines.☆11Mar 13, 2025Updated last year
- #PINNING is a browser extension (currently TamperMonkey script) to improve Pinterest's desktop browsing UX☆18Aug 7, 2025Updated last year
- ☆17Aug 18, 2026Updated last month
- Two Claude Code skills for adversarial code review (single-model PAR and multi-model MMAR with cross-critique to catch hallucinations), p…☆16Jun 6, 2026Updated 4 months ago
- A `derive`-based, highly composable config parser aimed at the practically-minded developer building large web projects and applications☆33Feb 18, 2026Updated 7 months ago
- This unique variation on Thinking Claude maps Claude's thought process steps to unicode and forces Claude to think in unicode, potentiall…☆17Feb 24, 2025Updated last year
- Avoid boilerplate or writing from scratch a socket.io implementation. Just clone this repo.☆11Aug 16, 2024Updated 2 years ago
- Kuma a cross-chain wallet that offers seamless management and transfer of assets between EVM and WASM chains.☆12Nov 8, 2024Updated last year
- Network scanner that maps infrastructure into a Neo4j graph and executes natural-language security operations via AI agents.☆20Feb 6, 2026Updated 8 months 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.
- Everything you need to use Supabase + Ai☆19May 24, 2024Updated 2 years ago
- The Missing Rustlang pusher crate.☆11Jan 29, 2026Updated 8 months ago
- celestia blobs, evm execution☆20Feb 10, 2025Updated last year
- Simple Elixir wrapper for the Travis API☆21Jul 25, 2019Updated 7 years ago
- The Gren Programming Language Book☆34Aug 8, 2026Updated 2 months ago
- An example of distributed tracing an MCP enabled agent☆15Feb 14, 2026Updated 7 months ago
- libcluster provider for AWS ECS instances using awsvpc netowork mode☆17Sep 12, 2023Updated 3 years ago
- Assembly implementation of EIP-4788 system contract.☆24Aug 20, 2024Updated 2 years ago
- Getting Things Done (GTD) command-line application that parses human-readable to-do list text files.☆16Jul 11, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- GamePad Controlled Launcher written in Rust & Slint☆25Mar 2, 2026Updated 7 months ago
- Samsung SmartTV Twitch.TV app☆15Jun 24, 2017Updated 9 years ago
- CLI tool for macOS SpeechAnalyzer☆23Jul 14, 2026Updated 2 months ago
- Simple TUI app for displaying solana transaction byte format☆13Sep 9, 2024Updated 2 years ago
- Practical wireless sensing tools and pipelines designed for robust real-world applications.☆18Nov 24, 2025Updated 10 months ago
- ☆23Jan 8, 2022Updated 4 years ago
- Integrate DuckDuckGo search seamlessly into your n8n workflows. Enhance automation with advanced searches and tailored queries. Try it no…☆14Mar 31, 2024Updated 2 years ago