State-of-the-art TTS model under 25MB 😻

A native elisp coding agent running in Emacs

Online Scheme interpreter, formerly for 61A

Improve your Baduk skills by training with KataGo!

Automatic derivation of zero-overhead C++ class enhancements, such as comparison/assignment operators, hash/swap/serialization/pretty printing functions and much more.

Example designs showing different ways to use F4PGA toolchains.

A monad for interfacing with external SAT solvers

Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming

Tensors and neural networks in Haskell

x86-64 assembler embedded in Python

PlaidML is a framework for making deep learning work everywhere.

A learning project: Compiles C-Code to Byte-Code and runs it in a virtual machine.

Python tools for the game of Go (GTP and SGF)

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

Deep Recurrent Neural Networks and LSTMs in Javascript. More generally also arbitrary expression graphs with automatic differentiation.

Minimalistic Go MCTS Engine

Share your research online by compiling it to JavaScript!

Meteor, the JavaScript App Platform

Symbolic logic expressions

A Haskell library supporting flexible, dynamic file-based configuration.

My sandbox for experimenting with solver algorithms.

Haskell to JavaScript compiler, based on GHC

Fully-featured, blazingly-fast language that compiles to beautiful, hand-made-like JavaScript. Implemented in less than 100 lines.

playground

Self-like object outliners in Javascript, using Lively Kernel