SMalloc -- a *static* memory allocator.
☆46Jul 17, 2024Updated 2 years ago
Alternatives and similar repositories for smalloc
Users that are interested in smalloc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A table library for Idris 2☆16Oct 25, 2022Updated 4 years ago
- TaPL implementation bits in Idris2☆17Feb 27, 2022Updated 4 years ago
- DOSBOX "woody" opl3 emulator for C projects☆17Nov 9, 2020Updated 5 years ago
- Example of embedding Lua on the Teensy 3.6☆12Dec 31, 2018Updated 7 years ago
- The Ouroboros programming language☆11May 17, 2019Updated 7 years 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.
- Workshop@work☆11Oct 4, 2016Updated 10 years ago
- TETRA speech codec☆13Dec 17, 2025Updated 10 months ago
- A simple, fast, deeply embeddable memory management system (malloc, free). Fast, light. < 1K byte heaps possible.☆11Dec 12, 2017Updated 8 years ago
- ☆27Jan 22, 2024Updated 2 years ago
- Gamestream client for 3DS (Old & New)☆19Updated this week
- Check ROM sets and dat files for MAME and other emulators☆11Aug 5, 2026Updated 3 months ago
- Nintendo 64 port of SDL 2☆24May 27, 2023Updated 3 years ago
- random stuff for my hack with FPGAs☆11May 4, 2016Updated 10 years ago
- Uxn for the Raspberry Pi, on bare metal☆15Mar 31, 2024Updated 2 years 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.
- Idris YAML lib☆10Jan 25, 2018Updated 8 years ago
- Common Files☆14Sep 29, 2026Updated last month
- A template for idris projects☆11Jun 27, 2021Updated 5 years ago
- An Arduino library for the Analog Devices AD5668 Digital-to-Analog Converter☆11Apr 20, 2023Updated 3 years ago
- Simple wildcard string comparison for C☆21Jul 17, 2025Updated last year
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- ☆12Oct 31, 2026Updated last week
- Centralized repository for the low level drivers developed by Zenith Aerospace☆12Mar 7, 2025Updated last year
- ffms2 bindings☆13Sep 15, 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.
- small utility library used in my mods☆15Oct 30, 2026Updated last week
- ☆10Jan 11, 2019Updated 7 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Oct 17, 2026Updated 3 weeks ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- Commander Keen source code reproduction mirror☆26Oct 7, 2023Updated 3 years ago
- Volatile Persistent Memory Allocator☆26Mar 22, 2023Updated 3 years ago
- The contents of what was formerly https://svn.declarativity.net☆11Dec 8, 2015Updated 10 years ago
- Stack-safe recursion schemes on dissectible data structures.☆14May 6, 2022Updated 4 years ago
- Total Logic-Less Templating Library☆14Jan 25, 2018Updated 8 years 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.
- Python AS4 / Peppol sender☆10Oct 19, 2026Updated 2 weeks ago
- ☆11Aug 24, 2021Updated 5 years ago
- Google Drive client wrapper in Python☆13Mar 31, 2025Updated last year
- Functional GPU programming - graphics☆12Sep 10, 2016Updated 10 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated last month
- Lazy Hacker Editor. Because nothing beats the eficiency of writing code already written. This is that kind of editor. Just for real hacke…☆10Dec 28, 2024Updated last year
- Repo for my musical hacks video series☆11Jun 12, 2020Updated 6 years ago