imbrem
CS PhD student supervised by Neel Krishnaswami, working on refinement types and intermediate representations
University of CambridgeCambridge, United Kingdom
Pinned Repositories
anyinput
atml-project
Advanced Topics in Machine Learning Reproduction Project
debruijn-ssa
A formalization of SSA in Lean 4
discretion
Utilities for formalizing programming languages in Lean 4, along with other tidbits
dlcf
An LCF-style kernel for extensional MLTT, written in Lean
equivalence
Rust derive macros for equality, ordering, and hashing modulo a context
freyd-ssa
Freyd category semantics for SSA in Lean 4
old-isotope-semantics
Semantics for the isotope intermediate representation
proqnt
Zero-copy, no-std proquint encoding and decoding
spread-cache
Benchmarks of hashing performance for different memory access patterns
imbrem's Repositories
imbrem/poset-cats
imbrem/higher-ert
imbrem/sparky
WIP categorical semantics for SPARC TSO in Lean 4, based on Kavanagh and Brookes
imbrem/sadedegel
A General Purpose NLP library for Turkish
imbrem/zemberek_parser
imbrem/equivalence
Rust derive macros for equality, ordering, and hashing modulo a context
imbrem/miniptr
Data-structures based on small, safe indices into arenas ("mini pointers")
imbrem/proqnt
Zero-copy, no-std proquint encoding and decoding
imbrem/toy-exchange-draft
A toy cryptocurrency exchange
imbrem/rust-multiaddr
multiaddr implementation in rust
imbrem/ecow
Compact, clone-on-write vector and string.
imbrem/rustyline-async
Rustyline, but with async support
imbrem/tch-rs
Rust bindings for the C++ api of PyTorch.
imbrem/anyinput
imbrem/risotto
A minimalist, responsive hugo theme inspired by terminal ricing aesthetics.
imbrem/ibig-rs
A big integer library in Rust with good performance.
imbrem/vsc-unicode-latex
A visual studio code extension to insert Unicode symbols given LaTeX symbol names
imbrem/logrel-mltt
A Logical Relation for Martin-Löf Type Theory in Agda
imbrem/minkraft
minkraft
imbrem/atml-project
Advanced Topics in Machine Learning Reproduction Project
imbrem/IBKR-API-Rust
Port of Interactive Broker's trading API written in Rust
imbrem/stockburn
imbrem/flow
imbrem/rapids
imbrem/refcomp
imbrem/mat257-notes
imbrem/mat454-notes
imbrem/triomphe
Fork of std::sync::Arc with lots of utilities useful for FFI
imbrem/InternedStrings.jl
Fully transparent string interning functionality, with proper garbage collection
imbrem/voxel-rs
Rust Voxel engine