The Wayback Machine - https://web.archive.org/web/20200917143958/https://github.com/siraben
Skip to content
Avatar
🅱️
Hacking on stuff
🅱️
Hacking on stuff

Highlights

  • Arctic Code Vault Contributor
  • Pro

Organizations

@VandyHacks
siraben/README.md

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

  • 🔭 I'm currently working on cross-compiling Rust to ARM using Nix and developing apps for the reMarkable tablet.
  • 🌱 I'm currently learning about effect systems, Algebra of Programming, Nix flakes.
  • 👯 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)!
  • 😄 Pronouns: he/him/his

Languages and Tools:

Haskell Nix Coq Linux Git GitHub



siraben's github stats

Pinned

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

    Scheme 189 2

  2. A self-hosting mini Haskell compiler with a mini C runtime.

    Haskell 36 1

  3. A Forth implementation for the R216K8B Powder Toy computer.

    Assembly 14 1

  4. A Forth implementation for the TI-84+ calculator.

    Assembly 51 2

  5. Self-hosting parser generators in Forth and C.

    Forth 11 1

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

    Haskell 5

316 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2020

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

Remove periods from the end of package descriptions

Motivation for this change Addresses #97685 Things done Got the list of packages to fix with a Nix script (see #97685), then went over the paths wi…

+334 −334 3 comments

Created an issue in NixOS/nixpkgs that received 5 comments

Adjust all non-conforming package descriptions

There's a section in CONTRIBUTING.md that gives some rules on package descriptions, e.g. do not start with package name, do not end with period. Ho…

5 comments
4 contributions in private repositories Sep 7 – Sep 13
You can’t perform that action at this time.