Janko-dev / plogicLinks
Propositional logic evaluator and rule-based pattern matcher
☆21Updated 2 years ago
Alternatives and similar repositories for plogic
Users that are interested in plogic are comparing it to the libraries listed below
Sorting:
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- An interpreter for the 1991 Oriel scripting language☆56Updated last year
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 3 years ago
- A highly extensible WACC compiler developed in Rust☆2Updated 2 years ago
- Garbage collector library☆23Updated 3 years ago
- Propositional logic with types in Rust☆62Updated last year
- A highly experiment portable runtime☆19Updated last year
- The third iteration of the Lavender programming language, implemented in Rust.☆13Updated 4 years ago
- Cooperative first-person roguelike dungeon crawler where spells are programs☆18Updated last year
- A WIP little dependently-typed systems language☆41Updated 10 months ago
- ☆19Updated last year
- hindley-milner algorithm☆61Updated 2 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- ☆17Updated last year
- A tiny lazy objective functional language☆17Updated 9 months ago
- A reasonable theorem prover for your reasoning tasks!☆26Updated 5 months ago
- Datalog with equality for rust☆68Updated last month
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- ☆38Updated 4 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.☆16Updated last year
- Macros have types!☆129Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- Propositional logic with exponentials☆20Updated last month
- Like APL, but with emojis☆15Updated 3 years ago
- Macro assembler for Rust☆36Updated last year
- Brief implementation of Trees that Grow in Rust☆39Updated 2 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Penne is a pasta-oriented programming language that favors the goto-statement for flow control.☆48Updated last year