Skip to content
Avatar
🌴
Digging holes and building things
🌴
Digging holes and building things
114 followers · 64 following · 163

Highlights

  • Pro

Organizations

@NixOS @VandyHacks @apoptosis @VandyFOSS
Block or Report
  • Block or report user

    Block or report siraben

    Block user

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

    Report abuse

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

    Report abuse
siraben/README.md

👋 Hi! I'm Ben, a Math/CS undergraduate at Vanderbilt University.

  • 🔭 I'm currently working on:
  • 🌱 I'm currently learning about logic, differential geometry, analysis and connections between category theory and functional programming.
  • 👯 I'm looking to collaborate on large scale functional programming projects.
  • 🤔 I'm looking for help with implementing dependently typed languages.
  • 💬 Ask me about blockchain (Ethereum, Bitcoin), recursion schemes, type systems and compilers for functional and imperative languages.
  • 📫 How to reach me: Send me an email, or reach me on IRC (siraben)!

Languages and Tools

Haskell Nix Coq Linux Git GitHub


siraben's github stats

Pinned

  1. zkeme80

    An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.

    Scheme 199 4

  2. ti84-forth

    A Forth implementation for the TI-84+ calculator.

    Assembly 60 3

  3. nix-remarkable

    Forked from pl-semiotics/nix-remarkable

    Nix expressions for the reMarkable tablet leveraging the company's toolchain.

    Nix 20 2

  4. r216-forth

    A Forth implementation for the R216K8B Powder Toy computer.

    Assembly 16 1

  5. r5rs-denot

    A Scheme interpreter based on R5RS denotational semantics, written in Haskell.

    Haskell 7

  6. dotfiles

    A collection of my dotfiles

    Emacs Lisp 4

1,908 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Learn how we count contributions.
Less More

Contribution activity

April 2021

Created 9 commits in 2 repositories
Created 1 repository

Created a pull request in NixOS/nixpkgs that received 6 comments

passerine: init at 0.9.2

Motivation for this change Add passerine, though build fails because of some cargo error I don't understand. Things done Tested using sandboxing (n…

+38 −0 • 6 comments
Opened 3 other pull requests in 2 repositories
NixOS/nixpkgs
1 open 1 merged
quinn-dougherty/ladr
1 open
Reviewed 5 pull requests in 1 repository
59 contributions in private repositories Apr 3 – Apr 22

Seeing something unexpected? Take a look at the GitHub profile guide.