ixjf / logic-rs

Related projects: ⓘ

• 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
• DerickEddington / kul
  A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…
  ☆13Updated 9 months ago
• martypapa / debug-tree
  Visualise recursive functions and tree structures.
  ☆30Updated 3 years ago
• fmease / tylift
  Lift enum variants to the type-level.
  ☆30Updated 3 years ago
• trishume / faiyels
  See all your code rendered at once and zoom around it using Rust & GPU rendering.
  ☆32Updated 8 years ago
• oppiliappan / cutlass
  experimental auto-currying for rust functions
  ☆32Updated 4 years ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆57Updated last month
• coriolinus / spectacle
  opt-in runtime introspection
  ☆12Updated 2 years ago
• CryZe / wasmboy-rs
  wasmBoy compiled to Rust
  ☆30Updated 3 years ago
• imbolc / step-machine
  Run your Rust CLI programs as state machines with persistence and recovery abilities
  ☆34Updated last year
• nox / mitochondria
  Mitochondria is the powerhouse of the `Cell`
  ☆27Updated 7 years ago
• mrLSD / semantic-analyzer-rs
  Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST
  ☆37Updated last month
• Byron / termbook
  A runner for `mdbooks` to keep your documentation tested.
  ☆49Updated 4 years ago
• droundy / tinyset
  Compact sets in rust
  ☆52Updated last week
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆66Updated 4 months ago
• DenSASoftware / kantig
  Rust CLI program to create low-poly images
  ☆31Updated 4 years ago
• Avarel / mini-me
  Inline multiline text-editor/prompt written in Rust.
  ☆26Updated 9 months ago
• grego / bset
  Fast and compact sets of bytes or ASCII characters
  ☆28Updated 3 years ago
• hobofan / rust-interop
  Website to highlight Rust language interop options
  ☆23Updated last year
• lurk-lab / introit
  The Yatima Standard Library
  ☆20Updated 9 months ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• vcfxb / wright-lang
  The wright programming language (WIP)
  ☆19Updated last month
• CryZe / stdweb-io
  Tokio / Hyper like IO for the Browser based on the stdweb, futures and http crates.
  ☆22Updated 6 years ago
• saresend / shack
  A CLI for storing simple stuff thats hard to remember
  ☆20Updated 6 years ago
• jonas-schievink / rcgc
  ☆16Updated this week
• yoshuawuyts / chic
  Pretty parser error reporting.
  ☆33Updated last year
• azriel91 / enum_variant_type
  Proc macro derive to generate structs from enum variants.
  ☆24Updated last year
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆39Updated 4 years ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• advancedresearch / lojban
  A Lojban parser in Piston-Meta
  ☆22Updated 3 years ago