Stack-based esoteric programming language
β18Jan 31, 2025Updated last year
Alternatives and similar repositories for oplang
Users that are interested in oplang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Optimizing Brainfuck interpreterβ12Dec 30, 2020Updated 5 years ago
- a tiny tool for visualising substructual sharing in data structures π΅οΈββοΈβ18Apr 4, 2019Updated 7 years ago
- A [ functional stack ] based language.β30Oct 30, 2023Updated 2 years ago
- Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"β15Jan 26, 2021Updated 5 years ago
- an experiment in presenting code.β14Aug 11, 2020Updated 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.
- Informative error messages for common beginner misunderstandings with Haskellβ15Aug 29, 2019Updated 6 years ago
- An esoteric language based on overlapping tree-like structuresβ10Oct 16, 2021Updated 4 years ago
- Lambda Calculus with quote and unquoteβ19Jun 29, 2020Updated 6 years ago
- A proof-of-concept formal verification tool for WebAssembly.β11Mar 3, 2024Updated 2 years ago
- Unpinned byte arrays in GHC haskellβ22Jan 8, 2019Updated 7 years ago
- machine fusionβ16Oct 13, 2018Updated 7 years ago
- Abelian sandpilesβ16Nov 16, 2024Updated last year
- A Programming language of directories. Just for fun.β15Feb 2, 2023Updated 3 years ago
- Parse bytes fastβ26May 5, 2026Updated 2 months ago
- 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.
- Interpreter for functional pure type systems.β21Jun 30, 2017Updated 9 years ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!β50Sep 23, 2025Updated 10 months ago
- Authenticated Data Structuresβ16Jul 5, 2015Updated 11 years ago
- Design, play with, and analyze sequent calculus proof systems.β16Sep 5, 2024Updated last year
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of sβ¦β22Oct 28, 2019Updated 6 years ago
- Edit is a monad for rewriting things.β23Sep 9, 2020Updated 5 years ago
- My attempt at writing a Rβ΅RS-compliant Scheme with Megaparsecβ14Jun 29, 2026Updated 3 weeks ago
- A simple Ξ»Prolog interpreterβ21Nov 29, 2021Updated 4 years ago
- π§ π¨ HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskellβ16Updated this week
- 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 verified Implementation of a mini prologβ17Nov 27, 2022Updated 3 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.β20Jul 13, 2021Updated 5 years ago
- formally and easily, describe the semantics.β13Aug 17, 2020Updated 5 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.β15Mar 26, 2020Updated 6 years ago
- Implementation of Martin-LΓΆf Type Theory in Haskellβ16Feb 21, 2016Updated 10 years ago
- haskell posix bindingsβ19Aug 5, 2025Updated 11 months ago
- A usable type system for call by push-valueβ33Dec 16, 2019Updated 6 years ago
- Haskell library for semigroup actions and torsorsβ66Feb 3, 2025Updated last year
- Classical Logic in Haskellβ23Nov 19, 2025Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A virtual memory scannerβ10Jan 2, 2024Updated 2 years ago
- typesafe implementation of tensor algebra in Haskellβ13Feb 27, 2021Updated 5 years ago
- Zippers for cofree typesβ14Dec 7, 2021Updated 4 years ago
- A non-interactive proof assistant using the Haskell type systemβ39Apr 11, 2020Updated 6 years ago
- Kempe is a compiled stack-based languageβ58Sep 30, 2024Updated last year
- A computer built as a cellular automation patternβ16May 13, 2023Updated 3 years ago
- Fast parallel calculations in pure mathematics, e.g. GrΓΆbner Basesβ16Aug 19, 2024Updated last year