Alternatives and similar repositories for llamapun

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

• dginev / CorTeX
  A general purpose processing framework for corpora of scientific documents
  ☆65Updated last week
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 4 years ago
• GrammaticalFramework / gf-rgl
  Grammatical Framework's Resource Grammar Library (RGL)
  ☆61Updated last month
• ArnaudBelcour / asp-syntax-highlight
  Visual Studio Code syntax highlighting for Answer Set Programming
  ☆13Updated last year
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆27Updated this week
• mqudsi / srtresync
  srt subtitle synchronization utility
  ☆12Updated 9 years ago
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆52Updated 2 years ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆71Updated last year
• scholtzan / rdf-rs
  RDF library implemented in Rust
  ☆28Updated 5 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 4 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆32Updated 11 months ago
• pczarn / gearley
  An Earley parser engine in Rust.
  ☆36Updated 2 months ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆65Updated 5 months ago
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 3 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 4 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆28Updated 2 years ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆42Updated last year
• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆24Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆64Updated 2 years ago
• CategoricalData / FQL
  Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky
  ☆13Updated 6 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• zotero / citeproc-rs
  CSL processor in Rust.
  ☆79Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated last week
• korpling / graphANNIS
  This is a new backend implementation of the ANNIS linguistic search and visualization system.
  ☆18Updated 3 weeks ago
• IBM / datascienceontology
  Data Science Ontology
  ☆40Updated 3 months ago
• 8l / pijul
  Pijul is a free and open source version control system, intended to be simple to use, yet based on a sound theory of collaborative work, …
  ☆54Updated 10 years ago
• huonw / unicode_names
  char <-> Unicode character name
  ☆23Updated 9 years ago