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
- 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.
- 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 8 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 last month
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 last year
- 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 3 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
- 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 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
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 2 years ago
- 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 last month