☆18Dec 5, 2025Updated 8 months ago
Alternatives and similar repositories for simp
Users that are interested in simp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- Open addressing hash map☆18Jul 4, 2026Updated last month
- A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary☆13Sep 8, 2022Updated 3 years ago
- High-performance, streaming-first container format with per-block codec polymorphism and robust data recoverability. Reference implementa…☆29Apr 17, 2026Updated 3 months ago
- .A macro for formatting non literal strings at runtime in Rust.☆19Jul 20, 2026Updated 3 weeks ago
- 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 library for conversion to/from proquints☆13Feb 9, 2018Updated 8 years ago
- ☆10Updated this week
- Compiler optimizer for arbitrary control flow based on equality saturation☆115May 19, 2022Updated 4 years ago
- A library for standard containers and their associated algorithms.☆12Feb 28, 2025Updated last year
- A library for parsing HTTP Link header.☆12Apr 13, 2026Updated 3 months ago
- A library providing https://lucide.dev icons to lustre☆15Dec 28, 2025Updated 7 months ago
- ☆15Oct 21, 2025Updated 9 months ago
- UEFI signing tools for Linux -- Forked to support AWS CloudHSM☆13Aug 25, 2021Updated 4 years ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Oct 4, 2021Updated 4 years ago
- 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.
- Pre-emptively created repository so the design can be discussed on the issue tracker before commits are made (repo name may change)☆18Aug 1, 2026Updated last week
- Open Source bot engine for Telegram bots and Facebook messenger bots☆11Apr 5, 2017Updated 9 years ago
- STYX: at least it's not YAML☆66Updated this week
- A fork of termbox that aims to handle input and keybindings correctly.☆23May 19, 2026Updated 2 months ago
- AppCoordinator architecture with support of segue.☆12Dec 2, 2016Updated 9 years ago
- Minimal docker image with disel cli for migrations☆14Oct 11, 2018Updated 7 years ago
- ☆15Updated this week
- Zero-copy, no-std proquint encoding and decoding☆14May 7, 2023Updated 3 years ago
- a readable language that grows from the silicon☆61Jul 24, 2023Updated 3 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.
- An implementation of the Paillier cryptosystem☆19Nov 4, 2024Updated last year
- A protoc plugin for the Tonic gRPC stack☆13Jun 10, 2022Updated 4 years ago
- ☆13Jun 10, 2022Updated 4 years ago
- Bittorrent V1 Library and Client Written in Rust☆15Mar 19, 2024Updated 2 years ago
- Reference counted synchronized pointer.☆14Aug 9, 2017Updated 9 years ago
- Implementation of SoftSpokenOT. Forked from libOTe.☆12May 6, 2024Updated 2 years ago
- @FuzzyMonkeyCo's minion☆23May 22, 2026Updated 2 months ago
- Tracing based copy-and-patch compiler for low-latency realtime Python☆76Updated this week
- Solution for Hackerrank REST API Certification☆14Aug 1, 2022Updated 4 years ago
- 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.
- Minimal, efficient proof language☆15May 28, 2019Updated 7 years ago
- ☆16May 5, 2018Updated 8 years ago
- Rust bindings for LibreSSL's libtls library.☆15Jul 31, 2022Updated 4 years ago
- A hash function for content-addressable storage☆19Jul 15, 2026Updated 3 weeks ago
- A way for cargo to build crates locally or remotely and share and fine-grained--cache them via a Docker registry.☆20Updated this week
- simple static sites☆19Mar 5, 2023Updated 3 years ago
- Industrial data evaluation engine☆13May 21, 2021Updated 5 years ago