Pinned Repositories
blog
bye-bye-zuck-n-musk
egg.dl
eggegg
fgh
free-join-1
Genesis
Automatic strictness annotation for Haskell
how-was-your-thanksgiving
parallel-join
POPL-dictionary
remysucre's Repositories
remysucre/blog
remysucre/free-join-1
remysucre/parallel-join
remysucre/POPL-dictionary
remysucre/egg
egg is a flexible, high-performance e-graph library
remysucre/extraction-gym
benchmarking e-graph extraction
remysucre/free-join-sigmod-record
remysucre/gj-vs-binary
remysucre/join-order-benchmark-redux
Join order benchmark but just the joins
remysucre/triangles
remysucre/chasing-infinity
remysucre/circuit-db
remysucre/csfaculty.github.io
Interview questions for Computer Science faculty jobs
remysucre/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
remysucre/ddbplan
remysucre/ladr
remysucre/Llunatic
The Llunatic Mapping and Cleaning Chase Engine
remysucre/mia
missing information artifacts
remysucre/nulls
remysucre/pandoc
Universal markup converter
remysucre/papers
remysucre/postgres-sveltekit
remysucre/qopt
Query optimization reading list
remysucre/remysucre.github.io
remysucre/thesis
remysucre/to-read
remysucre/tools
tools for doing (computer) science
remysucre/Yggdrasil
Collection of builder repositories for BinaryBuilder.jl
remysucre/z3
The Z3 Theorem Prover
remysucre/Z3.jl
Julia interface to Z3