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:
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 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
- Dockerfile to build an Octave container☆12Mar 13, 2024Updated 2 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆20May 13, 2020Updated 5 years ago
- (Hopefully) a compiler for my first language named "Pie"☆26Mar 13, 2026Updated last month
- 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.
- Copy files faster in rust☆11Jun 11, 2018Updated 7 years ago
- Protobuf protoc compiler plugin generating MySQL script useful to create backend database.☆10Jan 19, 2017Updated 9 years ago
- Structured concurrency for the Dart Programming Language.☆16May 11, 2023Updated 2 years ago
- Structured Async/Concurrency for Lua☆19Oct 17, 2023Updated 2 years ago
- A somewhat long overview of the Neve programming language.☆10Feb 22, 2025Updated last year
- Protocol Buffers lexer & parser for PLY☆12Nov 11, 2014Updated 11 years ago
- The SMoL (Standard Model of Languages) Family of Languages☆22Jan 2, 2025Updated last year
- A Crystal radix implementation☆17Nov 5, 2025Updated 5 months ago
- Old script-fu updated for Gimp 3.0 3.2 and 2.10 (300 in file name)☆18Apr 5, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ReactiveML: a programming language for implementing interactive systems.☆20Nov 14, 2022Updated 3 years ago
- egraphs-good website☆18Mar 10, 2026Updated last month
- ☆30Mar 27, 2026Updated 2 weeks ago
- Sorting out the basic facts behind our projects.☆10Sep 1, 2016Updated 9 years ago
- MStoical - a Forth like language, but better☆24Mar 23, 2024Updated 2 years 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
- Autograd (backpropagation, reverse-mode auto differentiation) in Nim☆12Oct 25, 2017Updated 8 years ago
- Example of how to achieve a retro, pixelated style using a <canvas>☆13Feb 22, 2016Updated 10 years ago
- Python-based tiled editor for paletted images☆13Aug 4, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A generic Actor model for Crystal☆10Jul 11, 2023Updated 2 years ago
- OCaml bindings for libpg_query☆22Jan 6, 2025Updated last year
- Pretty, minimal and fast Fish shell prompt☆11Feb 13, 2017Updated 9 years ago
- Create sequence diagrams from textual descriptions.☆25Mar 23, 2026Updated 3 weeks ago
- Functional Reinforcement Learning in Scala.☆27Apr 9, 2025Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆27Dec 18, 2024Updated last year
- Docker wrapper for the Crystal CLI☆13Aug 17, 2021Updated 4 years ago
- 🏃→🎼 docker run asdlksjfksdf > docker-composerize up☆14Oct 21, 2023Updated 2 years ago
- Files related to PoC||GTFO 21:21 - NSA’s Backdoor of the PX1000-Cr☆17Mar 23, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Perl Custom Runtime for writing AWS Lambda functions in Perl☆12Apr 11, 2019Updated 7 years ago
- Concurrent Programming Language☆20Jun 14, 2024Updated last year
- ☆17Jan 28, 2026Updated 2 months ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- An automated approach to the Collatz conjecture☆12Oct 7, 2023Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆18Mar 31, 2026Updated 2 weeks 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