Lean 4 Zstandard (RFC 8878) decompression: C FFI bindings and pure-Lean implementation with formal proofs
☆11Sep 1, 2026Updated 2 months ago
Alternatives and similar repositories for lean-zstd
Users that are interested in lean-zstd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Discord bot framework ontop Inversify.js and Discord.js☆11Feb 16, 2023Updated 3 years ago
- Monte Carlo Filter Evaluation in Walk-Forward Strategy Selection — reproducibility package (Python, Rust, R)☆12Sep 25, 2026Updated last month
- ☆10Sep 20, 2024Updated 2 years ago
- A simple function to diff any object and generate a JSON Patch☆14Feb 13, 2026Updated 8 months ago
- The official repository of the Scala Macros and Metaprogramming course on Rock the JVM☆15Nov 13, 2025Updated 11 months 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.
- An seL4 reference webserver application☆11Jul 22, 2026Updated 3 months ago
- Autonomous and goal-seeking coding agents. 💫☆27Dec 11, 2024Updated last year
- Binary Decision Diagrams in Lean 4☆14Jul 26, 2026Updated 3 months ago
- ☆111Sep 14, 2026Updated last month
- MCP server for maigret, a powerful OSINT tool that collects user account information from various public sources.☆13Mar 3, 2025Updated last year
- A nixosModule and Package to install Septabee☆17Oct 17, 2026Updated 2 weeks ago
- Transforms static PDF documents into professional narrated video presentations using advanced local AI.☆11Updated this week
- Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols☆18Updated this week
- ☆11Oct 4, 2011Updated 15 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.
- ☆12Aug 5, 2021Updated 5 years ago
- An agentic debugger for Bevy games: a plugin that exposes a game's state over BRP, and an MCP server that lets a coding agent read and dr…☆28Updated this week
- Lean 4 kernel with NbE☆18Updated this week
- A Ruby library for parsing, validating, and generating Package URLs (PURLs) as defined by the PURL specification☆13Updated this week
- A .NET tool that compares two Word/Excel documents side by side using the Word/Excel built-in document comparison feature.☆13Updated this week
- A React Native boilerplate app to get you up and running very, very quickly☆12Jun 25, 2021Updated 5 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Generate and parse SoftWare Hash IDentifiers (SWHIDs)☆12Oct 25, 2026Updated last week
- hashtray is an OSINT (Open Source Intelligence) tool designed to find a Gravatar account associated with an email address and to locate a…☆10May 30, 2026Updated 5 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.
- A Javascript Gamepad API wrapper and mapping tool☆14Aug 29, 2026Updated 2 months ago
- OpenAI API Benchmarking Tool☆15May 3, 2026Updated 5 months ago
- System for verifying the correctness of generated Copilot programs☆20May 8, 2025Updated last year
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- Search this list of OSINT Practitioners and learn about OSINT, it includes numerous, blogs and tutorials.☆10Oct 15, 2023Updated 3 years ago
- Build-time sponsorship verification for NuGet packages — nudge consumers of an OSS library to sponsor its author, in the spirit of the Op…☆17Updated this week
- Tamagotchi-inspired AI agent that evolves with financial data! Raise your "Finance Pet" using real ops datasets (vendors, invoices, payme…☆12Apr 30, 2026Updated 6 months ago
- A productive programming language☆38Sep 27, 2026Updated last month
- A meta-registry and package manager for WebAssembly☆17Updated 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.
- A Python based library for simulating playing card games☆14Aug 24, 2018Updated 8 years ago
- persistent-mode afl-fuzz for ocaml☆19Nov 23, 2024Updated last year
- Applies default ordering to EntityFramework queries based on fluent configuration☆14Updated this week
- Random collections of code examples.☆12Mar 19, 2025Updated last year
- Control Star ceiling-fan using Raspberry Pi and CC1101 Transceiver☆12Oct 10, 2026Updated 3 weeks ago
- Terminal UI and local CLI for crawling GitHub issues and pull requests, generating embeddings, and clustering related work.☆22May 9, 2026Updated 5 months ago
- A Hindley-Milner language formalised in Lean 4 – proven type-safe, and runnable☆21Oct 20, 2026Updated last week