Fault-lang / FaultLinks
a language for building system dynamic models
☆165Updated 2 months ago
Alternatives and similar repositories for Fault
Users that are interested in Fault are comparing it to the libraries listed below
Sorting:
- A compact, efficient Prolog interpreter written in plain-old C.☆297Updated this week
- A declarative concatenative programming language☆164Updated 8 months ago
- A fast functional language based on two level type theory☆391Updated 2 years ago
- Experiments in building "better" languages and tools; for some measure of better.☆238Updated last month
- A logic programming language that has features of both Datalog and answer set programming.☆118Updated last month
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- ☆207Updated 11 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆79Updated last week
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- a tiny tile-based editor☆304Updated last month
- ☆47Updated 3 years ago
- The practical relational programing language for data-oriented applications☆204Updated 2 years ago
- Manfred von Thun's Programming Language Joy☆92Updated 5 months ago
- A modern supercompiler for call-by-value functional languages☆415Updated 2 months ago
- a datalog interpreter in typescript☆210Updated 5 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆83Updated 5 years ago
- Tokay is a programming language designed for ad-hoc parsing, inspired by awk.☆244Updated last month
- Smalltalk VM Written in Zig with methods stored as type-annotated ASTs☆136Updated this week
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆304Updated this week
- Trealla Prolog embedded in Go using WASM☆79Updated last week
- Learn TLA+ for free! No prior experience necessary!☆214Updated 3 months ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆381Updated 2 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 4 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- PostgreSQL Prolog language handler☆134Updated last year
- A small, weird and unpractical programming language.☆103Updated last week
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated last month
- Brzozowski derivative python sketch☆85Updated 2 months ago
- ☆86Updated 4 months ago
- An ngn/k tutorial.☆203Updated last year