Siyuan Chen's repositories
company-yasnippet-autoparens
A company-mode script for auto-parenthesis
7GUI
the 7 gui project
alpha-zero-general
A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more
Barliman
Prototype smart text editor
bibliography
Bibliography of Scheme research (readscheme.org and beyond)
clpsmt-miniKanren
CLP(SMT) on top of miniKanren
ditaa
ditaa is a small command-line utility that can convert diagrams drawn using ascii art ('drawings' that contain characters that resemble lines like | / - ), into proper bitmap graphics.
dojo
Dojo 1 - the Dojo 1 toolkit core library.
ganbreeder
Breed and share images using biggan
higher
Higher-kinded programming in OCaml
Idris2
A purely functional programming language with first class types
ipwndfu
open-source jailbreaking tool for many iOS devices
Machinations
The good ol' Flash version of Machinations
parsing-rkt
A backtracking parser combinator for Racket
promise-it-wont-hurt
A Workshopper module that teaches you to use promises in javascript
quiver
A modern commutative diagram editor for the web.
racket-mode
Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, and more.
reactos
A free Windows-compatible Operating System
remacs
Emacs style editor written in Racket
swiplchrtut
Tutorial for the CHR system
the-little-typer
Valuable code and experiments about the book "The Little Typer"
the-reasoned-schemer
Valuable code and experiments about the book "The Reasoned Schemer"
thunderchez
libraries for chez scheme productivity
uGUI
Source code for the Unity UI system.
v2ray-core
A platform for building proxies to bypass network restrictions.