Skip to content
View s-zeng's full-sized avatar

Block or report s-zeng

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
s-zeng/README.md

Hi there 👋

  • 🔭 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

Pinned Loading

  1. dhall-python dhall-python Public

    Forked from TristanCacqueray/python-dhall

    Up-to-date and maintained python bindings for dhall, a functional configuration language

    Rust 44 6

  2. 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 #-}
    3
    
                  
    4
    import Data.List
    5
    
                  
  3. haxcel haxcel Public

    Implementing a spreadsheet from scratch

    Haskell

  4. board-to-latex board-to-latex Public archive

    Turn pictures of math into LaTeX

    Python 7 6

  5. rag-shenanigann rag-shenanigann Public

    AI-generated ragtime music on demand

    Python 1 1

  6. dotfiles-hm dotfiles-hm Public

    Dotfiles, managed by home-manager

    Lua 2 1