Key-Value based in-memory cache library which supports Custom Expiration Policies
☆22Apr 15, 2025Updated last year
Alternatives and similar repositories for endorphin
Users that are interested in endorphin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- You can name anonymous Future from async fn without dyn or Box!☆63Mar 26, 2022Updated 4 years ago
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated last year
- A simple minesweeper game using Rust and windows-rs☆14Aug 22, 2021Updated 4 years ago
- 2019년 9월 29일에 진행되었던 C++ Korea 6회 세미나 발표 자료 및 예제 코드☆47Jun 27, 2020Updated 6 years ago
- Cycle-accurate Game Boy emulation☆13Jun 5, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Normalizes filenames to Unicode NFC, faster than convmv☆44Oct 21, 2024Updated last year
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- Computer Graphics study from scratch to Neural Rendering☆24Aug 16, 2021Updated 4 years ago
- discord to irc bridge☆24Apr 23, 2026Updated 2 months ago
- ☆10Nov 20, 2023Updated 2 years ago
- My portfolio contains a lexer generator, a parser generator, my own λProlog interpreter, and several meta-theorems for the propositional …☆15Jun 14, 2026Updated 3 weeks ago
- 📝 A Rocq library written by members of PnV Discord Server☆19Jun 29, 2026Updated last week
- Do notation in Python.☆10Feb 22, 2021Updated 5 years ago
- yaksok toolkit☆56Dec 9, 2021Updated 4 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.
- Asynchronous SOCKS proxy support for Rust.☆104May 29, 2026Updated last month
- Web Browser Engineering☆42Jun 29, 2022Updated 4 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 11 years ago
- .NET Framework 4.5에서 작동하는 osu! 확장프로그램. osu!에서 재생 중인 곡의 가사를 알송 DB에서 가져와 보여주는 프로그램입니다. 최신 빌드는 다음 링크로 내려받을 수 있습니다.☆15Feb 5, 2020Updated 6 years ago
- Fork of rust concurrent hash map bencmarks to include leapfrog map.☆14Mar 13, 2022Updated 4 years ago
- Let's contribute to open source! (2022)☆12Oct 2, 2022Updated 3 years ago
- 📚 (WIP) Rewriting Software Foundations in Lean 4☆32Oct 24, 2025Updated 8 months ago
- A simple osu! beatmap player☆20Feb 11, 2018Updated 8 years ago
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A proxy client/server in rust that helps you bypass the Great Fire Wall.☆12Oct 18, 2022Updated 3 years ago
- A fuzzer for SMT solvers☆21May 8, 2026Updated 2 months ago
- bidirectional type checking algorithms for higher-ranked polymorphism☆45Mar 23, 2022Updated 4 years ago
- Tutorial for refinement based verification☆16Jan 16, 2026Updated 5 months ago
- This is the arduino code for my 3s Li-ion battery management system project.☆17Jun 23, 2019Updated 7 years ago
- A library which provides simple functional pattern matching. (PoC)☆10Feb 19, 2020Updated 6 years ago
- ☆14Aug 23, 2022Updated 3 years ago
- ☆29Apr 13, 2024Updated 2 years ago
- Vim editor configuration for working with cranelift IR (clif) files☆16Jun 28, 2020Updated 6 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.
- where is that project root?☆16Nov 30, 2023Updated 2 years ago
- a socks5 server implemented with Rust and `tokio` using async/await feature☆13Mar 3, 2022Updated 4 years ago
- Access Gemini AI Models in Rust☆12Jun 22, 2025Updated last year
- ☆12Apr 14, 2026Updated 2 months ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆28Apr 21, 2023Updated 3 years ago
- Pill is a deadly script to kill the specific port.☆12Dec 24, 2022Updated 3 years ago
- Rule based async proxy written in Rust☆44Feb 3, 2023Updated 3 years ago