OxiLean is a memory-safe, high-performance Interactive Theorem Prover (ITP) natively integrated into the Rust ecosystem. Inspired by Lean 4, it aims to bring formal verification to the Rust community
☆19Oct 8, 2026Updated last week
Alternatives and similar repositories for oxilean
Users that are interested in oxilean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Mapping intelligence for enterprise data migrations: schema mapping, lineage, and transformation traceability that compounds across every…☆15May 7, 2026Updated 5 months ago
- FT8/FT4 decoder in pure Rust — give it audio, get messages. MIT licensed, one dependency, runs on wasm32.☆19Aug 2, 2026Updated 2 months ago
- C# implementation of bech32☆12Jun 26, 2022Updated 4 years ago
- ServiceStack.Discovery.Redis feature enchancements☆18Jan 13, 2022Updated 4 years ago
- unofficially supported zebedee api rust sdk☆10Feb 19, 2025Updated last year
- 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.
- Repo to organize TABConf 7 issues and the website.☆11Oct 16, 2025Updated last year
- nostr-gpg-keys☆11Aug 22, 2022Updated 4 years ago
- C# bindings for rust-lightning☆11Sep 3, 2024Updated 2 years ago
- A simple and extensible state machine implementation in Rust☆10Feb 16, 2026Updated 8 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 9 months ago
- A DNS seed for the Lightning Network☆16Apr 13, 2020Updated 6 years ago
- Rust based embedded bootloader for resource constrained MCUs such as CH32☆19Jul 11, 2026Updated 3 months ago
- A Bip352 silent payment wallet which runs as daemon. Written in GO.☆18Aug 14, 2025Updated last year
- Metal and Water prediction☆16Feb 5, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Rust toolkit for layered stream multiplexing and schemaless RPC communication.☆36Updated this week
- Algorithmic trading bot in Rust with multi-agent architecture, 10 strategies, risk management, and native egui UI. Supports Alpaca & Bina…☆16Jun 13, 2026Updated 4 months ago
- Open-source platform for tracking scholarships, research internships, conferences, graduate programs, and academic opportunities worldwid…☆113Updated this week
- Fork of LLVM for LTO pass plugins support.☆23Jun 28, 2025Updated last year
- 🐣 Create and set up new npm packages w/ trusted (OIDC) publishing - for one package or a whole monorepo☆34Sep 17, 2026Updated last month
- Local AI agent sandbox runtime with Firecracker, gVisor, and NVIDIA GPU sandbox support.☆50Sep 18, 2026Updated last month
- A high-performance verifiable storage layer for appchains and L2s.☆13Jan 5, 2026Updated 9 months ago
- Deep learning + physical modeling for 3D protein metal ion binding prediction☆14Feb 24, 2025Updated last year
- ☆14Feb 21, 2025Updated last year
- 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.
- BioMetAll is a command line application to allow the identification of metal-binding sites in proteins from backbone preorganization.☆13Jun 9, 2026Updated 4 months ago
- Reuseable Mirrorz Help Markdown☆14Oct 13, 2026Updated last week
- Scrolling window manager for macOS (PaperWM-style strip, Accessibility-only, teleport navigation)☆29Jun 29, 2026Updated 3 months ago
- The game of Balderdash: weird words only☆17Dec 25, 2022Updated 3 years ago
- Port of Mandiant ShellcodeHashes plugin from IDA to BinaryNinja☆11Jul 24, 2024Updated 2 years ago
- PDF Reader in JavaScript☆17Updated this week
- A ChatGPT shared conversation link parser.☆19Updated this week
- A high-performance, transactional Outbox pattern implementation for Rust applications☆17Jul 28, 2026Updated 2 months ago
- A terminal application UI framework, written in Rust.☆16Updated this week
- 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.
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Orb is a cross-platform (Mac / Windows / OSX / IOS / Android) application for managing an LND / CLN Lightning node. It features bulk paym…☆22Jul 31, 2023Updated 3 years ago
- ☆22Jan 6, 2024Updated 2 years ago
- The issue tracker that lives in your repo. Built for AI agents. Works for humans.☆23Jul 2, 2026Updated 3 months ago
- An IDA (Interactive Disassembler) script that can save a chunk of binary from an address.☆11Apr 10, 2019Updated 7 years ago
- ☆41Sep 6, 2026Updated last month
- MCP server for querying crates.io - the Rust package registry☆17Aug 5, 2026Updated 2 months ago