☆13Jul 31, 2026Updated 3 months ago
Alternatives and similar repositories for stratego
Users that are interested in stratego are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Stratego program transformation language☆36Jun 18, 2026Updated 4 months ago
- Spoofax implementation using PIE pipelines☆14Sep 3, 2026Updated 2 months ago
- ☆12Apr 28, 2025Updated last year
- ☆10Apr 28, 2025Updated last year
- An agda2hs-compatible library for well-scoped syntax☆11Aug 26, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Gumbo - A pure-C HTML5 parser, adapted to be installable via clib.☆12Jun 8, 2021Updated 5 years ago
- Example project using esy and reason☆11Sep 23, 2022Updated 4 years ago
- Cap'n Proto extension for Visual Studio Code.☆11Dec 6, 2025Updated 11 months ago
- Labs for "The Ultimate Hands-On Hadoop" covering Hadoop, Apache Hive, Hbase, Cassandra, MongoDB, Kafka, Flume, Drill, Phoenix, Presto, Sp…☆10Jan 7, 2019Updated 7 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Media processing pipeline proof of concept using bucklescript and serverless☆12May 16, 2018Updated 8 years ago
- A syntactically aware search-and-replace tool for Python.☆16Oct 9, 2026Updated last month
- ANDROID APP for testing the reaction time☆10Oct 28, 2023Updated 3 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆17Jun 24, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Logical Relation for Martin-Löf Type Theory in Agda☆23Oct 12, 2026Updated 3 weeks ago
- Internet Chess ToolKit is a java based set of libraries and widgets useful for performing common tasks such as reading PGN, FEN, and gene…☆13Feb 22, 2017Updated 9 years ago
- Excel COM bindings for use with Jinx☆14Sep 21, 2026Updated last month
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 11 years ago
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml☆16Feb 27, 2024Updated 2 years ago
- Safe SQL transpiler, written in Rust☆11Dec 9, 2024Updated last year
- Monadic Constraint Programming framework☆28May 9, 2018Updated 8 years ago
- A F# functional wrapper over CNTK's .Net API (inspired by Keras but with function composition as the primary modeling metaphor)☆14Mar 22, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆18May 21, 2019Updated 7 years ago
- Spoofax runtime☆173Apr 28, 2025Updated last year
- Metaborg Release Engineering☆19May 14, 2025Updated last year
- Contains code from Youtube Tutorials or Videos.☆14Oct 26, 2026Updated 2 weeks ago
- A Nomad Runner for Gitlab CI☆13Sep 20, 2025Updated last year
- Manager program for stratego game bot interplay.☆15Apr 16, 2015Updated 11 years ago
- A 'Grammar of Graphics' implementation for Elm☆17Apr 3, 2019Updated 7 years ago
- A domain specific language that utilizes Domain-Driven Design☆17Jan 21, 2024Updated 2 years ago
- small fastcdc implementation in c99☆19Dec 31, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆13Nov 1, 2012Updated 14 years ago
- Programiranje in numerične metode v ekosistemu Pythona☆27Sep 16, 2023Updated 3 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 3 years ago
- VHDL Implementation of BLUE. A computer specification from the book Computer architecture by Foster, Caxton C.☆15Mar 12, 2023Updated 3 years ago
- Build Apps and Fine-Tune LLMs Using the OpenAI API, by Packt Publishing☆19Dec 13, 2023Updated 2 years ago
- ☆16Nov 2, 2018Updated 8 years ago
- ☆10Apr 28, 2025Updated last year
Are these results useful?