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
barter-rs
Open-source Rust framework for building event-driven live-trading & backtesting systems
debruijn-ssa
A formalization of SSA in Lean 4
discretion
Utilities for formalizing programming languages in Lean 4, along with other tidbits
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/freyd-ssa
Freyd category semantics for SSA in Lean 4
imbrem/debruijn-ssa
A formalization of SSA in Lean 4
imbrem/discretion
Utilities for formalizing programming languages in Lean 4, along with other tidbits
imbrem/old-isotope-semantics
Semantics for the isotope intermediate representation
imbrem/spread-cache
Benchmarks of hashing performance for different memory access patterns
imbrem/barter-rs
Open-source Rust framework for building event-driven live-trading & backtesting systems
imbrem/bootstrap-test
Playing around with Bootstrap
imbrem/CambridgeSemantics
imbrem/egg
egg is a flexible, high-performance e-graph library
imbrem/rust
Empowering everyone to build reliable and efficient software.
imbrem/sparky
WIP categorical semantics for SPARC TSO in Lean 4, based on Kavanagh and Brookes
imbrem/betweenness
Formalization of Euclidean geometry in Lean 4, for fun
imbrem/email-lambda
An AWS lambda function to send email using Amazon SES
imbrem/enrichment
An experimental formalization of poset-enriched premonoidal categories in Lean 4
imbrem/fun-with-embedding
Some fun with embedding vectors
imbrem/gtree-formalization
An experiment with formalized G-Trees in Lean 4
imbrem/higher-ert
imbrem/imbrem.github.io
imbrem/mellanite
imbrem/mlir-experiment
imbrem/old-isotope-egraph-experiments
Rust implementation of the isotope intermediate representation
imbrem/old-isotope-formalization
Formalization of isotope in Lean 4
imbrem/old-tekne.dev
Jad Ghalayini's dev log
imbrem/ott
The Ott tool for writing definitions of programming languages and calculi
imbrem/poset-cats
imbrem/sorting-bench
Benchmarks for sorting price levels in various languages
imbrem/svelte-chess
Fully playable chess component for Svelte.
imbrem/svelte-chessground
Chessboard component. Chessground Svelte wrapper.
imbrem/tekne.dev
Jad Ghalayini's dev log
imbrem/zola
A fast static site generator in a single binary with everything built-in. https://www.getzola.org