A new declarative programming language
☆25Oct 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:
- 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
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- egraphs-good website☆18Oct 9, 2024Updated last year
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- ☆22Jan 19, 2023Updated 3 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Dec 18, 2024Updated last year
- Manfred von Thun's Programming Language Joy☆17Feb 24, 2026Updated last week
- 🦠 AD in less than 20 lines☆54Aug 2, 2021Updated 4 years ago
- Test of ICEstick PLL usage with Yosys/Arachne-PNR/Icetools☆21Oct 8, 2016Updated 9 years ago
- A CLI tool to fetch and display unresolved GitHub PR comments☆13Feb 28, 2025Updated last year
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- MStoical - a Forth like language, but better☆24Mar 23, 2024Updated last year
- Kanban Tool Extension Development Kit☆10Feb 27, 2019Updated 7 years ago
- Initialize / Fill C++ array fast - O(1) time with only 1 extra bit of memory.☆31Mar 4, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/intuitionistic☆31Apr 8, 2015Updated 10 years ago
- Suckless big integer library☆32Jul 20, 2022Updated 3 years ago
- Installer builder using SVN back-end database and S3 storage☆10Feb 25, 2026Updated last week
- Framework for signing videos and validating signed videos☆37Jan 9, 2026Updated last month
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- ☆37May 24, 2023Updated 2 years ago
- 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
- Shard for creating separate groups of fibers in a hierarchical way and to collect results and errors in a structured way.☆34May 4, 2024Updated last year
- Tcl library for Golang style concurrency based on Communicating Sequential Processes☆40Jan 6, 2024Updated 2 years ago
- ☆11Feb 28, 2026Updated last week
- A JavaScript graph library☆10May 20, 2014Updated 11 years ago
- A minimal Python interpreter in Python with runtime AST definition and edit-and-continue☆34Feb 11, 2018Updated 8 years ago
- SAT instance generator for SHA-1☆49Feb 12, 2021Updated 5 years ago
- [Mirror] A close reading of the μKanren paper.☆43Jun 14, 2022Updated 3 years ago
- Parsing DSL for Crystal language inspired by Haskell library Parsec☆37Aug 7, 2019Updated 6 years ago
- A rhyming library for python☆12Nov 28, 2018Updated 7 years ago
- An offshot of the SteamControllerSigner that aims to take advantage of the SC's dual pulse channel nature☆11Aug 14, 2017Updated 8 years ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- A select subset of shaders included in the GShade project modified for use with ReShade.☆13May 3, 2025Updated 10 months ago
- Symbian Utilities☆11Nov 7, 2016Updated 9 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
- The 2013 edition of the Source SDK☆10Aug 19, 2017Updated 8 years ago
- Chatbot that answers frequently asked questions in French, English, and Tunisian using the Rasa NLU framework and RWKV-4-Raven☆13May 19, 2023Updated 2 years ago