☆10Oct 22, 2015Updated 10 years ago
Alternatives and similar repositories for myrddin
Users that are interested in myrddin are comparing it to the libraries listed below
Sorting:
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- Bootstrapped compiler of a C-like but Python-looking language☆47Dec 21, 2017Updated 8 years ago
- Immediate Mode GUI From Scratch☆26Oct 16, 2025Updated 4 months ago
- LaTeX sources for the Habit Programming Language Report☆24Sep 28, 2018Updated 7 years ago
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆31Jan 6, 2022Updated 4 years ago
- A cross-platform immediate mode user-interface library. Public domain.☆34Sep 2, 2017Updated 8 years ago
- Helper package to spin-up a Qdrant instance without Docker☆13Dec 24, 2023Updated 2 years ago
- Material associated with Physics Report "Data science applications to string theory"☆11Jun 20, 2023Updated 2 years ago
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 4 months ago
- A stand-alone implementation of the Acme text editor's command language.☆33Oct 21, 2018Updated 7 years ago
- Unofficial/Unsolicited ArtStation client with an Instagram inspired feed☆11Feb 14, 2026Updated 3 weeks ago
- pixelsort project☆11Jan 15, 2016Updated 10 years ago
- Advanced Geocaching Tool for Linux☆32Aug 7, 2016Updated 9 years ago
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 6 months ago
- Tool for loading and testing native shaders translated from crosstl☆13Dec 15, 2024Updated last year
- ☆10Updated this week
- CS20 (Tensorflow) 정리☆13Oct 24, 2018Updated 7 years ago
- android_build☆16Dec 4, 2019Updated 6 years ago
- Really small preemptive scheduler :)☆16Oct 21, 2025Updated 4 months ago
- rtsp stream to hls☆10Mar 3, 2020Updated 6 years ago
- ☆19Jun 28, 2025Updated 8 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- It's not ROS... but it is ROS-y! Simple, fast inter-process message passing for distributed Python processes☆11Sep 5, 2025Updated 6 months ago
- A set of visualization engines.☆14Updated this week
- libRunTimeStruct: Create C structs at runtime☆13Dec 8, 2015Updated 10 years ago
- miscellaneous MeeGo projects☆10Jun 6, 2013Updated 12 years ago
- Tron Legacy colorscheme for common editors and terminal emulators☆10Feb 18, 2021Updated 5 years ago
- Davranışsal Esneme: Majino (Kaynakları)☆11May 27, 2021Updated 4 years ago
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- A simple interpreter☆19Nov 13, 2018Updated 7 years ago
- A Python application to download Google Books and convert them in PDF in a given folder.☆11Oct 21, 2013Updated 12 years ago
- ☆11Oct 21, 2020Updated 5 years ago
- nyat is cat clone. Written in nim.☆10Dec 6, 2018Updated 7 years ago
- A compile time sized array of bits☆12Aug 15, 2021Updated 4 years ago
- A tool for managing software RAID under Linux☆16Apr 23, 2014Updated 11 years ago
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 10 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago