Fault-lang / Fault
a language for building system dynamic models
☆165Updated 8 months ago
Alternatives and similar repositories for Fault:
Users that are interested in Fault are comparing it to the libraries listed below
- A compact, efficient Prolog interpreter written in plain-old C.☆289Updated this week
- A fast functional language based on two level type theory☆389Updated 2 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆166Updated 3 years ago
- A declarative concatenative programming language☆164Updated 5 months ago
- Learn TLA+ for free! No prior experience necessary!☆210Updated last week
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- Trealla Prolog embedded in Go using WASM☆79Updated last week
- ☆47Updated 3 years ago
- Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.☆297Updated 4 months ago
- Forge: A Tool and Language for Teaching Formal Methods☆73Updated this week
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Experiments in building "better" languages and tools; for some measure of better.☆226Updated this week
- a tiny tile-based editor☆304Updated last week
- Tokay is a programming language designed for ad-hoc parsing, inspired by awk.☆241Updated this week
- A modern supercompiler for call-by-value functional languages☆403Updated this week
- A logic programming language that has features of both Datalog and answer set programming.☆112Updated last month
- ☆99Updated 3 years ago
- PostgreSQL Prolog language handler☆132Updated 11 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆99Updated last year
- ☆203Updated 8 months ago
- A Prolog library to connect to PostgreSQL databases☆97Updated 10 months ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆222Updated last year
- Various experiments in relational programming☆272Updated 3 years ago
- A literate programming system for any language.☆106Updated last year
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆134Updated this week
- An ngn/k tutorial.☆200Updated 9 months ago
- tar creator+extractor in ~100 lines of prolog☆260Updated 2 years ago
- A Low Barrier Proof Assistant☆78Updated last week
- Cell compiler☆113Updated last year