Alternatives and similar repositories for plogic:

Users that are interested in plogic are comparing it to the libraries listed below

• Kixiron / crunch-lang
  A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.
  ☆52Updated 3 years ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆54Updated last year
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆10Updated 3 years ago
• Starlight-JS / comet
  Garbage collector library
  ☆23Updated 2 years ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆32Updated 9 months ago
• P-bibs / skiff
  A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!
  ☆31Updated 3 years ago
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆56Updated last year
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆28Updated 2 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆40Updated 5 months ago
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆31Updated this week
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆36Updated 2 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated 9 months ago
• SLiV9 / penne
  Penne is a pasta-oriented programming language that favors the goto-statement for flow control.
  ☆45Updated 6 months ago
• ditto-lang / ditto
  👌 A smol functional language that targets other languages
  ☆62Updated last year
• ndmitchell / interpret
  ☆38Updated 3 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆15Updated 9 months ago
• Srinivasa314 / neptune-lang
  A fast, concurrent and embeddable scripting language
  ☆44Updated 2 years ago
• deeper-game / deeper
  Cooperative first-person roguelike dungeon crawler where spells are programs
  ☆18Updated 11 months ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆16Updated this week
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• playXE / rsgc
  ☆19Updated last year
• mkhan45 / RustScript
  RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.
  ☆28Updated 3 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• apt1002 / mijit
  Experimental JIT compiler generator
  ☆26Updated 9 months ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆25Updated 2 years ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆42Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆66Updated 2 months ago
• AngelOnFira / nadya
  A visually pleasing language for langjam 3
  ☆17Updated 2 years ago
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year