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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- A Simple Abstract Interpreter, built for teaching purposes☆20May 13, 2020Updated 5 years ago
- (Hopefully) a compiler for my first language named "Pie"☆24Mar 13, 2026Updated last week
- Copy files faster in rust☆11Jun 11, 2018Updated 7 years ago
- Lisp for JSON☆20Dec 29, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Structured concurrency for the Dart Programming Language.☆16May 11, 2023Updated 2 years ago
- Structured Async/Concurrency for Lua☆19Oct 17, 2023Updated 2 years ago
- Synchronous programming in Haskell☆17Oct 19, 2020Updated 5 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆22Jan 2, 2025Updated last year
- Test of ICEstick PLL usage with Yosys/Arachne-PNR/Icetools☆21Oct 8, 2016Updated 9 years ago
- An example Ruby program to demonstrate the "pure function as an object" pattern.☆10Dec 11, 2017Updated 8 years ago
- OCaml Bytecode Cleaner☆14Apr 19, 2022Updated 3 years ago
- egraphs-good website☆18Mar 10, 2026Updated 2 weeks ago
- ☆30Mar 5, 2026Updated 3 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The rust implementation of the Defluencer protocol.☆13Sep 3, 2025Updated 6 months ago
- A highly customizable bevel that allows the user to change GEGL blend modes, blur types and much more.☆18Sep 25, 2025Updated 6 months ago
- Keyctl CAAM Security☆15Mar 8, 2026Updated 2 weeks ago
- A micro compiler for the FORTH programming language☆13May 28, 2021Updated 4 years ago
- Docker container that can build a hugo site from a git repo and push it to a s3 bucket.☆12Aug 22, 2017Updated 8 years ago
- Python-based tiled editor for paletted images☆13Aug 4, 2024Updated last year
- OCaml bindings for libpg_query☆22Jan 6, 2025Updated last year
- Create sequence diagrams from textual descriptions.☆25Mar 14, 2026Updated last week
- Functional Reinforcement Learning in Scala.☆27Apr 9, 2025Updated 11 months ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Docker wrapper for the Crystal CLI☆13Aug 17, 2021Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- This is an example of a project with continuous fuzzing integration☆11Jul 26, 2020Updated 5 years ago
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 4 years ago
- Just an Electron app for experimenting with P2P collaboration over various transports.☆10Aug 1, 2016Updated 9 years ago
- ☆20Sep 14, 2018Updated 7 years ago
- Outdated version of an LLVM based backend for OCaml. Newer version:☆22Nov 12, 2011Updated 14 years ago
- Helpers for PL/pgSQL applications☆14Nov 30, 2017Updated 8 years ago
- Concurrent Programming Language☆20Jun 14, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆17Jan 28, 2026Updated last month
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- WHEN: A domain-specific language for reactive programming with implicit iteration, lifecycle management, and Python interoperability. lo…☆26Sep 26, 2025Updated 6 months ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- Introduction to Sentiment Analysis blog article code☆11May 5, 2019Updated 6 years ago
- ☆11Nov 29, 2017Updated 8 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