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:
- Happy campus life☆18Sep 3, 2024Updated last year
- A Programming Language for Games: performance, data-oriented, and so on.☆11Jul 11, 2017Updated 8 years ago
- A simple minesweeper game using Rust and windows-rs☆14Aug 22, 2021Updated 4 years ago
- 2019년 9월 29일에 진행되었던 C++ Korea 6회 세미나 발표 자료 및 예제 코드☆48Jun 27, 2020Updated 5 years ago
- Normalizes filenames to Unicode NFC, faster than convmv☆44Oct 21, 2024Updated 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.
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- Computer Graphics study from scratch to Neural Rendering☆24Aug 16, 2021Updated 4 years ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆22Apr 2, 2020Updated 6 years ago
- discord to irc bridge☆24Apr 23, 2026Updated last month
- Bi-directional record in type-safe way☆17Sep 26, 2024Updated last year
- ☆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 …☆14May 19, 2026Updated last week
- 📝 A Rocq library written by members of PnV Discord Server☆18Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- yaksok toolkit☆56Dec 9, 2021Updated 4 years ago
- ☆14Feb 26, 2024Updated 2 years ago
- Web Browser Engineering☆42Jun 29, 2022Updated 3 years ago
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 11 years ago
- Tutorial for refinement based verification☆16Jan 16, 2026Updated 4 months ago
- Let's contribute to open source! (2022)☆12Oct 2, 2022Updated 3 years ago
- A simple osu! beatmap player☆20Feb 11, 2018Updated 8 years ago
- Concurrent-C to Rust Automatic Translator☆15Jan 26, 2023Updated 3 years ago
- A library which provides simple functional pattern matching. (PoC)☆10Feb 19, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆14Aug 23, 2022Updated 3 years ago
- Vim editor configuration for working with cranelift IR (clif) files☆16Jun 28, 2020Updated 5 years ago
- ☆12Jun 19, 2025Updated 11 months ago
- Experimental Go binding for GBDK(GameBoy Development Kit). You can develop GameBoy software using Go!☆24Jan 4, 2022Updated 4 years ago
- where is that project root?☆16Nov 30, 2023Updated 2 years ago
- jsx스럽게 생긴 문자열을 파싱하여 React 노드로 변환해줍니다.☆23Dec 4, 2024Updated last year
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆26Apr 21, 2023Updated 3 years ago
- Pill is a deadly script to kill the specific port.☆11Dec 24, 2022Updated 3 years ago
- Gameboy Emulator in JS☆14Aug 19, 2023Updated 2 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.
- Prototype of the BASIC compiler for GB project.☆15Dec 30, 2022Updated 3 years ago
- Relay 온보딩 세션용 슬라이드 + 예제 프로젝트 in TypeScript & ReScript☆20May 9, 2023Updated 3 years ago
- A template of Rust + WebAssembly with TypeScript (🦀 + 🕸️ = 💖)☆25Updated this week
- Serve file server with single zip file as file system in Deno.☆19Jul 7, 2022Updated 3 years ago
- Text-based Simple RPG using C++☆35Oct 2, 2015Updated 10 years ago
- "쓰면서 배우는 OAuth 2.0 & OpenID Connect" 자료 저장소☆24Jan 24, 2024Updated 2 years ago
- Building A Correct-By-Construction Proof Checkers For Type Theories☆32May 4, 2026Updated 3 weeks ago