flix / bookLinks
The Flix Programming Book
☆19Updated this week
Alternatives and similar repositories for book
Users that are interested in book are comparing it to the libraries listed below
Sorting:
- Imagine a Dependently Typed Python☆11Updated 4 months ago
- ☆44Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 9 months ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆24Updated 11 months ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆35Updated 3 months ago
- A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.☆30Updated 7 years ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- Slog 1.0☆43Updated last year
- The main repository integrating the LaTeX beamer-based slides☆27Updated 4 months ago
- ☆30Updated 2 years ago
- purple: compiling a reflective language☆33Updated 10 months ago
- Normalization-by-evaluation in miniKanren☆24Updated 2 years ago
- An LLM-first programming language.☆31Updated 7 months ago
- Lua backend for Idris 2☆28Updated 3 years ago
- ☆48Updated last week
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆36Updated 7 months ago
- ☆27Updated this week
- Standard ML Grammar for Tree-sitter☆24Updated 3 years ago
- ☆43Updated 3 months ago
- A summary of my activities during the past four years☆29Updated 10 months ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆37Updated last month
- Racket parser for tree-sitter☆31Updated 3 months ago
- ☆71Updated 5 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 4 years ago
- An implementation of Haskell’s MVars in Racket☆30Updated 10 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated 3 weeks ago
- prototyping logic programming in Scala☆41Updated 3 years ago
- ☆36Updated last year