Fault-lang / FaultLinks
a language for building system dynamic models
☆167Updated 3 months ago
Alternatives and similar repositories for Fault
Users that are interested in Fault are comparing it to the libraries listed below
Sorting:
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 3 months ago
- A compact, efficient Prolog interpreter written in plain-old C.☆307Updated this week
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- Learn TLA+ for free! No prior experience necessary!☆219Updated 4 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆82Updated last month
- a tiny tile-based editor☆305Updated last month
- Experiments in building "better" languages and tools; for some measure of better.☆244Updated 2 months ago
- ☆47Updated 3 years ago
- A small, weird and unpractical programming language.☆103Updated this week
- A List of companies that use Array Languages (J, K, APL, q)☆99Updated last year
- ☆93Updated 5 months ago
- An ngn/k tutorial.☆204Updated last year
- PostgreSQL Prolog language handler☆134Updated last year
- An online IDE for visual programming in Prolog☆245Updated last month
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆178Updated 4 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated 2 months ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆310Updated last month
- A literate programming system for any language.☆112Updated last year
- ☆56Updated 2 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆85Updated 5 years ago
- ☆101Updated 3 years ago
- The practical relational programing language for data-oriented applications☆209Updated 2 years ago
- a datalog interpreter in typescript☆212Updated 7 months ago
- Trealla Prolog embedded in Go using WASM☆79Updated last month
- Polynomial-time Meta-Interpretive Learning☆128Updated 5 months ago
- A Low Barrier Proof Assistant☆119Updated this week
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- The rule-based graph programming language GP 2☆68Updated last year
- Brzozowski derivative python sketch☆85Updated 4 months ago