☆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
- 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
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- A cross-platform immediate mode user-interface library. Public domain.☆34Sep 2, 2017Updated 8 years ago
- Advanced Geocaching Tool for Linux☆32Aug 7, 2016Updated 9 years ago
- Unofficial/Unsolicited ArtStation client with an Instagram inspired feed☆11Feb 14, 2026Updated 3 weeks ago
- Helper package to spin-up a Qdrant instance without Docker☆13Dec 24, 2023Updated 2 years ago
- pixelsort project☆11Jan 15, 2016Updated 10 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
- Tron Legacy colorscheme for common editors and terminal emulators☆10Feb 18, 2021Updated 5 years ago
- Archive of the categories mailling list☆12Sep 8, 2020Updated 5 years ago
- miscellaneous MeeGo projects☆10Jun 6, 2013Updated 12 years ago
- A set of visualization engines.☆14Updated this week
- rtsp stream to hls☆10Mar 3, 2020Updated 6 years ago
- android_build☆16Dec 4, 2019Updated 6 years ago
- CS20 (Tensorflow) 정리☆13Oct 24, 2018Updated 7 years ago
- Really small preemptive scheduler :)☆16Oct 21, 2025Updated 4 months ago
- Parallel Build Strategy Experiments☆17Aug 21, 2025Updated 6 months ago
- ☆10Updated this week
- ☆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
- libRunTimeStruct: Create C structs at runtime☆13Dec 8, 2015Updated 10 years ago
- Tool for loading and testing native shaders translated from crosstl☆13Dec 15, 2024Updated last year
- A simple interpreter☆19Nov 13, 2018Updated 7 years ago
- Davranışsal Esneme: Majino (Kaynakları)☆11May 27, 2021Updated 4 years ago
- A collection of lexers for various languages, written in Rust.☆12Jun 21, 2016Updated 9 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- JavaScript with SuperPowers☆24May 24, 2025Updated 9 months ago
- Runtime compilation and invocation of C.☆10Mar 25, 2019Updated 6 years ago
- linear probing hash table implementation written in C (c99)☆10Jul 8, 2018Updated 7 years ago
- Like PlaceCage, but for Bill Murray☆12Aug 1, 2018Updated 7 years ago
- Twitter thread explorer made in C++/Wasm/WebGL☆10May 16, 2023Updated 2 years ago
- ☆10May 10, 2017Updated 8 years ago