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:Rust44 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/dhall-python
Up-to-date and maintained python bindings for dhall, a functional configuration language
Language:Rust44 2 246
s-zeng/resume
Resume generation stack - create PDF, markdown, website resumes from a single resume specification
Language:Dhall10 2 01
s-zeng/dotfiles
Dotfiles for neovim, sway, kitty, and others
Language:CSS8 2 02
s-zeng/board-to-latex
Turn pictures of math into LaTeX
Language:Python7 4 16
s-zeng/cs442-ocaml-starter
Starter code for developing Ocaml for CS442 at UWaterloo
Language:OCaml4 1 10
s-zeng/dotfiles-hm
Dotfiles, managed by home-manager
Language:Lua2 1 01
s-zeng/ws-debug-tool
Connect to and debug any Websocket end point
Language:Python2 1 0
s-zeng/eomcs.club
Source for the eomcs.club website. Old version, rehosted on https://github.com/redside100/eomcs.club
Language:Ruby1 2 01
s-zeng/haxcel
Implementing a spreadsheet from scratch
Language:Haskell0 1 00
s-zeng/afnd
Scripts for talks, videos, blogs, and other media about tech that I make
Language:Makefile1 0
s-zeng/compiler-experiments
Language:Haskell1 0
s-zeng/daily-feed
RSS reeds to calibre or boox
Language:Nix1 0
s-zeng/dhall-lang
Maintainable configuration files
Language:Dhall0 0
s-zeng/dhall-ocaml
An implementation of the Dhall configuration language in OCaml
Language:OCaml1 1
s-zeng/djinn
Generate Haskell code from a type
Language:Haskell0 0
s-zeng/greenscreen
MakeHarvard: Car dashboard to monitor emissions and other enviromental metrics
Language:CoffeeScript1 01
s-zeng/haskell-monads-showcase
A demonstration of various haskell monads in a somewhat practical environment
Language:Haskell1 0
s-zeng/learning-ocaml
Scratch repo for learning OcaML
Language:OCaml
s-zeng/nvim-tree.lua
A file explorer tree for neovim written in lua
Language:Lua0 0
s-zeng/nyuad-spammer
Subscribe to instant notifications from Student Portal. Don't miss Marvel movie tickets again!
Language:Python0 0
s-zeng/pandoc_workflow
Easy pandoc assignment (and note taking) workflow
Language:Makefile1 0
s-zeng/parinfer-rust
A Rust port of parinfer.
Language:Rust0 0
s-zeng/python-accessory
Generalized functional getters and setters
1 0
s-zeng/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
Language:C0 0
s-zeng/recipes
Simon's recipe collection
Language:Makefile1 0
s-zeng/s-zeng
Profile readme
1 0
s-zeng/s-zeng.github.io
Minimalist personal page.
Language:Haskell1 11
s-zeng/startpage
Custom new tab startpage
Language:HTML1 0
s-zeng/tracking-pixels
Very quick and dirty tracking pixel implementation
Language:Python1 0
s-zeng/videos
Source code for videos on my youtube channel
Language:Haskell1 0