hurryabit
Senior software engineer with a rich experience in designing and implementing programming languages
Munich, Germany
Pinned Repositories
daml
The Daml smart contract language
homer
A very boring functional programming language
pukeko
A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"
qanban
A case study about a distributed kanban board.
rufus
An educational experiment to implement a functional programming language in Rust
stack-safe-rs
Experiments with idea from the blog post "Stack-safety for free?"
tsatsiki
A TypeScript implementation of the key ideas behind salsa-rs.
hurryabit's Repositories
hurryabit/pukeko
A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"
hurryabit/stack-safe-rs
Experiments with idea from the blog post "Stack-safety for free?"
hurryabit/homer
A very boring functional programming language
hurryabit/rufus
An educational experiment to implement a functional programming language in Rust
hurryabit/speedsheet
SpeedSheet. Like a spreadsheet. But fast.
hurryabit/projecteuler.net
My solutions to some projecteuler.net problems.
hurryabit/qanban
A case study about a distributed kanban board.
hurryabit/tsatsiki
A TypeScript implementation of the key ideas behind salsa-rs.
hurryabit/advent-of-code-2019
My solutions to Advent of Code 2019.
hurryabit/adventofcode-2015
hurryabit/adventofcode-2019
My solutions to the 2019 edition of https://adventofcode.com.
hurryabit/adventofcode-2020
hurryabit/adventofcode-2021
My solutions to the 2021 edition of https://adventofcode.com
hurryabit/adventofcode-2022
My solutions to the 2022 edition of https://adventofcode.com
hurryabit/adventofcode-2023
My solutions to the 2023 edition of https://adventofcode.com.
hurryabit/adventofcode-2024
My solutions to the 2024 edition of https://adventofcode.com.
hurryabit/books-futures-explained
The repository for the book Futures Explained in 200 lines of Rust
hurryabit/comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
hurryabit/dodice
A Dynamic On-Demand Incremental Computation Engine
hurryabit/felix
Playground for compiler frontend and programming language experiments.
hurryabit/hurryabit.github.io
hurryabit/jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
hurryabit/lasso
A fast, concurrent string interner
hurryabit/notebooks
Random Jupyter notebooks
hurryabit/rowan
Fork of https://github.com/rust-analyzer/rowan for experimenting with feature ideas
hurryabit/ruceki
A toy interpreter based on Felleisens's "Semantics Engineering with PLT Redex"
hurryabit/rust-analyzer
A Rust compiler front-end for IDEs
hurryabit/speedsheet-js
hurryabit/this-week-in-rust
Data for this-week-in-rust.org
hurryabit/typeshed
Collection of library stubs for Python, with static types