Compositional Linear Algebra

Library for testing the learning capabilities of neural network architectures on subregular language patterns

Tile primitives for speedy kernels

Official Repository for "Decoding Schemes For Language Generation Models"

Sampling-Based Minimum Bayes-Risk Decoding for Neural Machine Translation

Code for our paper "Graph Language Models"

maze game encoded in Lean 4 syntax

Playing Sudoku in TypeScript while the type checker highlights mistakes.

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Misconception-based tutor designed to help people learn Linear Temporal Logic.

Benchmark structured generation libraries

A template repository for Kotlin/Wasm on browser

Tree Attention: Topology-aware Decoding for Long-Context Attention on GPU clusters

A OCaml generator for well-typed terms (that use their arguments).

Sandwood - A JVM based Java like Probabilistic Programming Language

VATA Tree Automata Library

🔺 Ternary plotting library for python with matplotlib

a formalisation of the theory of pregoups as described by Lambek in Agda

Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools

A syntactic extension that generates tests for your programs.

Implementation of untyped and simply typed lambda calculus with support for parsing, printing and evaluation.

Lambda Calculus (LC) playground using kotlin!

Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).

The Thue programming language: Programming with grammars