-
Cornell University
- Ithaca, NY
- https://www.cs.cornell.edu/~asampson/
- https://orcid.org/0000-0003-0837-8924
- @adrian@discuss.systems
Highlights
- Pro
-
-
bril Public
an educational compiler intermediate representation
-
-
-
checker-runtime Public
runtime type reflection for Java's Checker Framework
-
cs3410-infra Public
public infrastructure for Cornell's CS 3410
-
uv Public
Forked from astral-sh/uvAn extremely fast Python package installer and resolver, written in Rust.
-
govee2mqtt Public
Forked from wez/govee2mqttGovee2MQTT: Connect Govee lights and devices to Home Assistant
Rust MIT License UpdatedJul 20, 2024 -
-
emfed Public
embed your Mastodon feed into your web page
-
-
countdown-cli Public
Forked from treyhunner/countdown-cliFull-screen countdown timer, centered in the terminal window
Python MIT License UpdatedMay 17, 2024 -
wideq Public
reverse-engineered client for the LG SmartThinQ API
-
-
verilator Public
Forked from verilator/verilatorVerilator open-source SystemVerilog simulator and lint system
-
-
-
clusterfutures Public
super-slick Slurm and Condor cluster execution for Python
-
odgi Public
Forked from pangenome/odgioptimized dynamic genome graph implementation: a toolkit for understanding pangenome graphs
C++ MIT License UpdatedJul 20, 2023 -
-
rustc_codegen_cranelift Public
Forked from rust-lang/rustc_codegen_craneliftCranelift based backend for rustc
Rust Apache License 2.0 UpdatedApr 19, 2023 -
autolink.vim Public
automatically search for & insert URL targets for links in Markdown & ReST
-
verona Public
Forked from microsoft/veronaResearch programming language for concurrent ownership
C++ MIT License UpdatedApr 23, 2022 -
header-only large graph layout via stochastic gradient descent
C++ MIT License UpdatedNov 24, 2021 -
dirtyzipf Public
Forked from ekg/dirtyzipfzipfian int distributions using a fast approximation for pow
C++ MIT License UpdatedNov 24, 2021 -
hass-smartthinq Public
Home Assistant component for LG SmartThinQ HVAC devices
-
-
-
CompilerJobs Public
Forked from mgaudet/CompilerJobsA listing of compiler, language and runtime teams for people looking for jobs in this area
-