Ben Siraphob siraben

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

🔭 I'm currently working on:
- Improving the number of available packages in Nixpkgs on macOS.
- Completing GCC bootstrap via bootstrappable and blynn-compiler.
- Nix workshop for beginners.
- A mobile app for college students to socialize, written in Flutter and Dart.
🌱 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

Created 198 commits in 7 repositories

NixOS/nixpkgs 162 commits

siraben/siraben-overlay 14 commits

siraben/dotfiles 11 commits

siraben/r5rs-denot 6 commits

rms-support-letter/rms-support-letter.github.io 2 commits

siraben/siraben 2 commits

maralorn/nix-output-monitor 1 commit

Created 3 repositories

siraben/rms-support-letter.github.io Ruby Mar 25

siraben/koka Haskell Mar 24

siraben/nix-output-monitor Haskell Mar 7

Created a pull request in NixOS/nixpkgs that received 12 comments
Mar 24

koka: init at 2.1.1

Motivation for this change Add Koka compiler https://github.com/koka-lang/koka $ koka /tmp/koka/samples/basic/caesar.kk compile: /tmp/koka/samples…

+56 −0 • 12 comments

Created an issue in infradig/trealla that received 2 comments
Mar 8

Test fails due to floating point error

trealla> 2c2 trealla> < [[3.0000000000000036,2.0000000000000009],[5.0000000000000053,0.99999999999999267],[-5.773159728050814e-15,1.000000000000002…

2 comments