Alternatives and similar repositories for plogic:

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

• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆32Updated 10 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆54Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆62Updated last year
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 6 months ago
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆56Updated last year
• P-bibs / skiff
  A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!
  ☆31Updated 3 years ago
• Schwenger / RustTyC
  An interface for writing a RustTypeChecker.
  ☆42Updated last year
• siberianbluerobin / bulk-examples-generator
  Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…
  ☆15Updated 3 years ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 2 years ago
• kvverti / rusty-lavender
  The third iteration of the Lavender programming language, implemented in Rust.
  ☆13Updated 3 years ago
• skius / progge.rs
  Program analysis playground for a simple, imperative language
  ☆36Updated 2 years ago
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated 10 months ago
• playXE / rsgc
  ☆19Updated last year
• playXE / masm-rs
  Macro assembler for Rust
  ☆34Updated 11 months ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆27Updated this week
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆15Updated 10 months ago
• eqlog / eqlog
  Datalog with equality for rust
  ☆68Updated 3 months ago
• ndmitchell / interpret
  ☆38Updated 4 years ago
• Starlight-JS / comet
  Garbage collector library
  ☆23Updated 2 years ago
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year
• Kixiron / crunch-lang
  A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.
  ☆53Updated 3 years ago
• LunaAmora / Atiny
  Atiny is a simple compiler for a ML like language
  ☆11Updated last year
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• garritfra / qbe-rs
  QBE IR in natural Rust data structures
  ☆94Updated last month
• advancedresearch / hooo
  Propositional logic with exponentials
  ☆18Updated 3 weeks ago
• playXE / waffle-scheme
  Simple scheme bytecode VM
  ☆29Updated 2 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• AlexBuz / rust_to_bf
  A compiler from a subset of Rust to Brainfuck
  ☆13Updated 4 months ago
• caius-iulius / spinnaker
  ☆27Updated last year