- 🔭 I'm currently a software developer at D.E. Shaw
- 🤔 I’m an active user of Neovim and a contributer to Neovim plugins
- 🌱 I’m proud to have completed my Bachelor's degree in Computer Science at the University of Waterloo
- ⚡ In the past I've completed internships at:
- Jane Street, implementing OCaml libraries
- Tesla, working on firmware tooling in Haskell
- TQ Tezos, developing blockchain infrastructure and smart contracts
- Ericsson, writing Clojure applications
- 📫 My resume and contact info can be found on my site, or can be seen below:
A comathematician is a device for turning cotheorems into ffee
- London, United Kingdom
-
11:06
(UTC +01:00) - simonzeng.com
Pinned Loading
-
dhall-python
dhall-python PublicForked from TristanCacqueray/python-dhall
Up-to-date and maintained python bindings for dhall, a functional configuration language
-
Haskell graph algorithms using semir...
Haskell graph algorithms using semiring linear algebra 1-- reference paper: https://www.cl.cam.ac.uk/%7Esd601/papers/semirings.pdf
2{-# OPTIONS_GHC -Wno-incomplete-patterns #-}
34import Data.List
5 -
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.