seqax = sequence modeling + JAX

Linux kernel source tree

A place to share libraries and utilities that don't belong in the core bsc repo

Implementation of a chess AI on an FPGA

A Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.

Tool that renders truth tables for Boolean expressions

Bluespec Compiler (BSC)

Bluespec Compiler (BSC)

GPU-based game AI framework utilizing the Monte Carlo Tree Search algorithm

An AI program for playing the game Carbles

Remote-controlled robot for interacting with cats

Lambda-closures implemented as an ableC extension

Simple library for managing program settings

An attribute grammar-based programming language for composable language extensions

Attribute grammar Based Language Extensions for C