s-zeng

A comathematician is a device for turning cotheorems into ffee

@tqtezos London, United Kingdom

Pinned Repositories

board-to-latex
Turn pictures of math into LaTeX
Language:Python7 4 16
cs442-ocaml-starter
Starter code for developing Ocaml for CS442 at UWaterloo
Language:OCaml4 1 10
dhall-python
Up-to-date and maintained python bindings for dhall, a functional configuration language
Language:Rust45 2 246
dotfiles
Dotfiles for neovim, sway, kitty, and others
Language:CSS8 2 02
dotfiles-hm
Dotfiles, managed by home-manager
Language:Lua2 1 01
haxcel
Implementing a spreadsheet from scratch
Language:Haskell0 1 00
rag-shenanigann
AI-generated ragtime music on demand
Language:Python1 1 01
resume
Resume generation stack - create PDF, markdown, website resumes from a single resume specification
Language:Dhall10 2 01
ZTVDC
A java application to download media from web sources (e.g. YouTube) and convert media files
Language:Java3 3 01

s-zeng's Repositories

s-zeng/ZTVDC
A java application to download media from web sources (e.g. YouTube) and convert media files
Language:Java3 3 01
s-zeng/euler-racket
A collection of Project Euler solutions written in Racket/Scheme
Language:Racket1 2 0
s-zeng/algorithms
A collection of general purpose algorithms
Language:Java1
s-zeng/cryptopals-python
Solution for the cryptopals challenge in python (no imports allowed) --ONGOING--
Language:Python
s-zeng/eomcs-problems
Test cases and code for the Earl of March Computer Science Club's Weekly Problems
Language:Python
s-zeng/FB-AutoPoker
A very, very simple autopoker for facebook
Language:JavaScript1 01
s-zeng/Fb-AutoPoker-1
Language:JavaScript1 0
s-zeng/repl.vim
irb, ghci, and anything else. in Vim.
Language:Vim Script1 0
s-zeng/scradoku
A sudoku solver in Scratch. Yes, I know, Scratch.
2 0
s-zeng/Valhalla-ezines
Language:C++
s-zeng/Zengyatta
A discord music bot
Language:Java1 01
s-zeng/zergtel-android
Port of ZTVDC to android
Language:Java1 0