A fast minimalistic implementation of guided generation on Apple Silicon using Outlines and MLX

Query language for blending SQL logic and LLM reasoning across multi-modal data. [Findings of ACL 2024]

Interact with your SQL database, Natural Language to SQL using LLMs

A workflow for using local chat models with outlines

Experiments with writing relational verifier/synthesizer in miniKanren.

Package management made easy

Structured Generation Evals

CLP(Set) in miniKanren

A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines

Experiments in alpha-equivalence, capture-avoiding-substitution, gensym, etc., all fully relational.

Sioyek is a PDF viewer with a focus on textbooks and research papers

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

LLM-powered NPCs running on your hardware

A self-contained online book containing a library of FPGA design modules and related coding/design guides.

dk.brics.automaton - finite-state automata and regular expressions for Java

Learning FPGA, yosys, nextpnr, and RISC-V

Psuedo-random number bitgenerators for OCaml users.

Generates benchmark data for two different data structures, then renders some graphs.

Code for paper on Modifying Gibbs Sampling to Avoid Self Transitions

roaring64 implemented in pure python, wrapping pyroaring

Deserialize 64 bit roaring bitmaps into a Python set of integers.

A free, open-source Java library for modeling automata, graphs, and transition systems

A quick Python 3 port of the FAdo Project

Reason about Term Rewriting Systems

VATA Tree Automata Library

A high performance Python graph library implemented in Rust.

A Clojure-compatible(-ish) Lisp dialect targeting Python 3.8+

A Template for you to cut your own Analouge Pocket skins!

Probabilistic programming system for fast and exact symbolic inference