caminadab / metamineView external linksLinks
A new declarative programming language
☆24Oct 12, 2020Updated 5 years ago
Alternatives and similar repositories for metamine
Users that are interested in metamine are comparing it to the libraries listed below
Sorting:
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 3 years ago
- Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.☆18Jul 30, 2020Updated 5 years ago
- egraphs-good website☆18Oct 9, 2024Updated last year
- Manfred von Thun's Programming Language Joy☆16Jan 27, 2026Updated 2 weeks ago
- ☆22Jan 19, 2023Updated 3 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆20May 13, 2020Updated 5 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Dec 18, 2024Updated last year
- 🦠 AD in less than 20 lines☆54Aug 2, 2021Updated 4 years ago
- A CLI tool to fetch and display unresolved GitHub PR comments☆13Feb 28, 2025Updated 11 months ago
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- MStoical - a Forth like language, but better☆24Mar 23, 2024Updated last year
- Initialize / Fill C++ array fast - O(1) time with only 1 extra bit of memory.☆31Mar 4, 2023Updated 2 years ago
- Suckless big integer library☆31Jul 20, 2022Updated 3 years ago
- Installer builder using SVN back-end database and S3 storage☆10Jan 26, 2026Updated 2 weeks ago
- Automatically exported from code.google.com/p/intuitionistic☆31Apr 8, 2015Updated 10 years ago
- The Behringer X32 Scene File of Saddleback Berlin Church's Production Team.☆12Apr 29, 2023Updated 2 years ago
- ReRap2 is an interpreter for the Russian and English dialects of the Rapira programming language.☆35Jan 9, 2021Updated 5 years ago
- Framework for signing videos and validating signed videos☆36Jan 9, 2026Updated last month
- ☆37May 24, 2023Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last week
- Resilient Virtual Machine Monitor is a complete fault tolerance solution for type-I hypervisors adopting one of the most popular VMM arch…☆11Jul 30, 2020Updated 5 years ago
- A JavaScript graph library☆10May 20, 2014Updated 11 years ago
- ☆11Jan 29, 2026Updated 2 weeks ago
- Tcl library for Golang style concurrency based on Communicating Sequential Processes☆40Jan 6, 2024Updated 2 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆34Feb 11, 2018Updated 8 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- A select subset of shaders included in the GShade project modified for use with ReShade.☆13May 3, 2025Updated 9 months ago
- Reference and useful snippets for .md files☆10Apr 17, 2020Updated 5 years ago
- It's not ROS... but it is ROS-y! Simple, fast inter-process message passing for distributed Python processes☆11Sep 5, 2025Updated 5 months ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- The 2013 edition of the Source SDK☆10Aug 19, 2017Updated 8 years ago
- A rhyming library for python☆12Nov 28, 2018Updated 7 years ago
- Offline voice-controlled music player for Raspberry Pi☆10May 27, 2024Updated last year
- Pong game written in the boot sector☆38Jan 26, 2026Updated 2 weeks ago
- Formalizr, Google Chrome extension - "Remembers what you type, in case of a page crash."☆17Jul 4, 2024Updated last year
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated 3 weeks ago