Fault-lang / Fault

Related projects ⓘ

Alternatives and complementary repositories for Fault

• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆274Updated this week
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆79Updated last week
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆388Updated last year
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆159Updated 3 weeks ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• JonathanMEdwards / subtext10
  ☆96Updated 2 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆284Updated this week
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆393Updated last week
• SaberVM / SaberVM
  ☆197Updated 4 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆75Updated 4 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆71Updated last year
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated 9 months ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆102Updated this week
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• JasonSteving99 / claro-lang
  Claro Lang
  ☆138Updated 6 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆376Updated this week
• planetlambert / turing
  A reference implementation of Alan Turing's 1936 paper, On Computable Numbers
  ☆43Updated 5 months ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆256Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆128Updated last week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆88Updated 2 weeks ago
• razetime / ngn-k-tutorial
  An ngn/k tutorial.
  ☆195Updated 5 months ago
• justinmeiners / srcweave
  A literate programming system for any language.
  ☆85Updated 10 months ago
• cell-lang / compiler
  Cell compiler
  ☆114Updated last year
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆235Updated last week
• briangu / klongpy
  High-Performance Klong array language in Python.
  ☆120Updated 5 months ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆208Updated last month
• Zag-Research / Zag-Smalltalk
  Smalltalk VM Written in Zig with methods stored as type-annotated ASTs
  ☆134Updated this week
• mech-lang / mech
  🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!
  ☆209Updated this week