BHL is a strictly typed programming language based on C# specifically tailored for gameplay logic scripting.
☆38Jan 27, 2026Updated last month
Alternatives and similar repositories for BHL
Users that are interested in BHL are comparing it to the libraries listed below
Sorting:
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- A Programming language of directories. Just for fun.☆15Feb 2, 2023Updated 3 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- A compiler for the Dana programming language☆11Apr 25, 2021Updated 4 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- An imperative, statically-typed toy language☆12May 5, 2019Updated 6 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Library for styling game objects in Unity. . Built over UniMob and View-Binding.☆11Jun 30, 2023Updated 2 years ago
- An artificial life experiment.☆12Jul 30, 2020Updated 5 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- The Ribbon programming language☆11Jan 25, 2022Updated 4 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- A 2d "programming language" based around triangles☆11Sep 23, 2023Updated 2 years ago
- (WIP) Enact: A compiled programming language that's simple, familiar and fast.☆29Oct 11, 2020Updated 5 years ago
- A Small Combinator-Reduction System☆18Jul 14, 2020Updated 5 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- The Stroscot Programming Language☆13Jan 15, 2024Updated 2 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- Design, play with, and analyze sequent calculus proof systems.☆14Sep 5, 2024Updated last year
- concise functionless functional esolang☆14Jan 18, 2026Updated last month
- GSharp Programming Language☆12Sep 11, 2025Updated 5 months ago
- A two-dimensional programming language from 1994.☆12Oct 2, 2016Updated 9 years ago
- Unity package. Fully cross-platform WebSocket client library.☆17Oct 30, 2024Updated last year
- Sin, cos, tan, asin... polyfills for when cross browser consistency is desired.☆16Aug 6, 2021Updated 4 years ago
- The Dassie compiler, project system and core library☆19Feb 12, 2026Updated 2 weeks ago
- Here lies the code for the Snow* programming language, currently being rewritten.☆33Jul 17, 2019Updated 6 years ago
- Aheui interpreter in Javascript☆22Nov 20, 2016Updated 9 years ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Cross-compiler☆18Nov 2, 2025Updated 3 months ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- The official interpreter for the Jeopardy language☆16Dec 6, 2022Updated 3 years ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language☆15Sep 16, 2021Updated 4 years ago
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 6 months ago