Yaozhu Sun's repositories
CurriculaTable
A flexible curricula timetable written in Swift
truffle-erlang
Erlang implementation built on GraalVM/Truffle
ArduinoBluetoothMusicPlayer
Arduino music player BLE remote control on iOS
othello-ai
Othello AI using negamax search with alpha-beta pruning
jfp23-artifact
This repository contains artifact associated with JFP 2023 theoretical pearl.
Language:Coq000
purescript-js-ast
JavaScript `AST` module ripped from `purescript/purescript-in-purescript`
Language:PureScriptMIT000