roberthoenig / FirstOrderLogic.jlLinks
Julia package for parsing, manipulating and evaluating formulas in first-order logic.
☆19Updated 6 years ago
Alternatives and similar repositories for FirstOrderLogic.jl
Users that are interested in FirstOrderLogic.jl are comparing it to the libraries listed below
Sorting:
- An efficient symbolic term rewriting engine☆78Updated 5 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- minimal miniKanren implementation in Julia☆23Updated 8 years ago
- A DSL for modern parsing☆47Updated last month
- ☆73Updated last month
- non-extensible/hardcoded pattern matching, core of MLStyle☆16Updated 4 years ago
- Like a kick in the monads☆42Updated 3 years ago
- A library for defining and efficiently solving program synthesis tasks in Julia.☆35Updated this week
- Method dispatch based on pattern matching for Julia☆49Updated 9 years ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Updated last month
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 4 years ago
- Compiled parser combinators and regular expressions in pure julia☆80Updated 3 months ago
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 6 years ago
- A little less conversation, a little more abstraction☆87Updated 4 years ago
- A Petri net modeling framework for the Julia programming language☆43Updated 2 years ago
- Julia bindings to the SAT solver picosat☆32Updated 2 years ago
- Prototype of a fuzzer for Julia based on concolic execution☆18Updated 6 years ago
- Pattern matching☆55Updated 3 years ago
- PEG Parser for Julia☆38Updated 9 years ago
- Relational Algebra, now with more algebra!☆55Updated 4 months ago
- A collection of Kanren implementations in Julia☆24Updated 3 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Updated last year
- Julia interface to Z3☆71Updated 2 months ago
- Functions for declaring and working with grammars and expression trees in Julia.☆25Updated 10 months ago
- Tensor algebra abstract type interoperability setup☆44Updated 5 months ago
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Updated 2 years ago
- Define a Parsing Expression Grammar via a macro and abuse of Julia syntax.☆33Updated 10 months ago
- Full-featured traits in Julia. Without full features how dare I say this?☆66Updated 2 years ago
- The implementation of NameResolution.jl for Julia language.☆29Updated 3 years ago