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
- an experiment in presenting code.β14Aug 11, 2020Updated 6 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 esoteric language based on overlapping tree-like structuresβ10Oct 16, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A [ functional stack ] based language.β31Oct 30, 2023Updated 3 years ago
- Informative error messages for common beginner misunderstandings with Haskellβ15Aug 29, 2019Updated 7 years ago
- My attempt at writing a Rβ΅RS-compliant Scheme with Megaparsecβ14Jun 29, 2026Updated 4 months ago
- A Programming language of directories. Just for fun.β15Feb 2, 2023Updated 3 years ago
- Lambda Calculus with quote and unquoteβ19Jun 29, 2020Updated 6 years ago
- Abelian sandpilesβ16Nov 16, 2024Updated last year
- A proof-of-concept formal verification tool for WebAssembly.β11Mar 3, 2024Updated 2 years ago
- Parse bytes fastβ26Sep 1, 2026Updated 2 months ago
- 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 7 years 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.
- Unpinned byte arrays in GHC haskellβ22Jan 8, 2019Updated 7 years ago
- machine fusionβ16Oct 13, 2018Updated 8 years ago
- Authenticated Data Structuresβ16Jul 5, 2015Updated 11 years ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!β50Sep 23, 2025Updated last year
- Edit is a monad for rewriting things.β23Sep 9, 2020Updated 6 years ago
- Design, play with, and analyze sequent calculus proof systems.β16Sep 5, 2024Updated 2 years ago
- A selective functor is two lax monoidal functors standing on top of each other wearing a trench coatβ14Apr 8, 2020Updated 6 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
- Bare Metal GPUs on DigitalOcean Gradient AI β’ AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An interpreted lambda calculus with Algebraic and Recursive Types.β20Jul 13, 2021Updated 5 years ago
- A usable type system for call by push-valueβ33Dec 16, 2019Updated 6 years ago
- A simple Ξ»Prolog interpreterβ21Nov 29, 2021Updated 4 years ago
- π§ π¨ HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskellβ16Oct 15, 2026Updated 2 weeks ago
- Haskell library for semigroup actions and torsorsβ66Feb 3, 2025Updated last year
- A verified Implementation of a mini prologβ17Nov 27, 2022Updated 3 years ago
- A simple applicative parser in Parsec styleβ12Mar 9, 2026Updated 7 months ago
- typesafe implementation of tensor algebra in Haskellβ13Feb 27, 2021Updated 5 years ago
- haskell posix bindingsβ19Aug 5, 2025Updated 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 tiny C language compiler (x86-64) (WIP)β31May 23, 2026Updated 5 months ago
- Fast parallel calculations in pure mathematics, e.g. GrΓΆbner Basesβ16Aug 25, 2026Updated 2 months ago
- Interpreter for functional pure type systems.β21Jun 30, 2017Updated 9 years ago
- formally and easily, describe the semantics.β13Aug 17, 2020Updated 6 years ago
- A non-interactive proof assistant using the Haskell type systemβ40Apr 11, 2020Updated 6 years ago
- Zippers for cofree typesβ15Dec 7, 2021Updated 4 years ago
- A virtual memory scannerβ10Jan 2, 2024Updated 2 years ago