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.β31Oct 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 6 years 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.
- Informative error messages for common beginner misunderstandings with Haskellβ15Aug 29, 2019Updated 7 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β26Sep 1, 2026Updated 3 weeks 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.
- 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 11 months ago
- Authenticated Data Structuresβ16Jul 5, 2015Updated 11 years ago
- Design, play with, and analyze sequent calculus proof systems.β16Sep 5, 2024Updated 2 years 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 6 years ago
- Edit is a monad for rewriting things.β23Sep 9, 2020Updated 6 years ago
- My attempt at writing a Rβ΅RS-compliant Scheme with Megaparsecβ14Jun 29, 2026Updated 2 months 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
- 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.
- 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 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
- haskell posix bindingsβ19Aug 5, 2025Updated last year
- 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 10 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.
- 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β15Dec 7, 2021Updated 4 years ago
- A non-interactive proof assistant using the Haskell type systemβ40Apr 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 25, 2026Updated 3 weeks ago