jariazavalverde / fasillLinks
Fuzzy Aggregators and Similarity Into a Logic Language
☆23Updated 8 months ago
Alternatives and similar repositories for fasill
Users that are interested in fasill are comparing it to the libraries listed below
Sorting:
- Apply and compose functions in Prolog☆19Updated 8 years ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆29Updated 7 years ago
- Kanren with databases☆43Updated 10 months ago
- ☆29Updated 2 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆17Updated 2 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆25Updated 11 years ago
- CLP(SMT) on top of miniKanren☆36Updated 3 years ago
- source code for the bondi programming language☆40Updated 6 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Updated 7 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Updated 11 years ago
- miniKanren for search, SMT for solving☆13Updated 5 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- software archaeology of reflective towers of interpreters☆16Updated 8 months ago
- Optional types for Prolog☆16Updated 5 years ago
- An extended typed Lambda Calculus☆21Updated 10 months ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆27Updated last year
- A core concatenative programming language with variables and first-rank polymorphic type inference☆31Updated 5 years ago
- Safely running potentially non-terminating functions in Elm.☆10Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Type theory in type theory☆16Updated 13 years ago
- a self-hosting lambda calculus compiler☆35Updated 2 months ago
- Relational interpreter for miniKanren, in miniKanren.☆14Updated 3 years ago
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Cur dependently-typed language in miniKanren.☆17Updated 7 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆14Updated 3 years ago
- A categorical semantics library in Agda.☆17Updated 5 years ago