Skip to content
View s-zeng's full-sized avatar
74 followers · 93 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

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 45 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. 

      
  3. 
  
    
    
    
      
    
        
    
            
          haxcel  haxcel          Public
        
    
      
    


      
    
        Implementing a spreadsheet from scratch
      
    

      
    
          
  
  Haskell


      
    
    
    
  
    

    4. 

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


      
    
        Turn pictures of math into LaTeX
      
    

      
    
          
  
  Python


          
            
    

            8
          
          
            
    

            6
          
      
    
    
    
  
    

    5. 

      
  5. 
  
    
    
    
      
    
        
    
            
          rag-shenanigann  rag-shenanigann          Public
        
    
      
    


      
    
        AI-generated ragtime music on demand
      
    

      
    
          
  
  Python


          
            
    

            1
          
          
            
    

            1
          
      
    
    
    
  
    

    6. 

      
  6. 
  
    
    
    
      
    
        
    
            
          dotfiles-hm  dotfiles-hm          Public
        
    
      
    


      
    
        Dotfiles, managed by home-manager
      
    

      
    
          
  
  Lua


          
            
    

            2
          
          
            
    

            1
          
      
    
    
    
  
    

    7.