Pinned Repositories
aquascope
Interactive visualizations of Rust at compile-time and run-time
argus
An IDE extension for debugging trait errors in Rust.
cl-roman
Write Roman Numeral literals in Common Lisp.
compiler-construction
Advanced Compiler Construction CS 420 @ EPFL
earth-mantle
FPGA-robot
Final project for digital circuits, fpga robot coded in verilog
gscheme
An ever expanding subset of the R6RS specification
jplc
Just another Programming Language (JPL) interpreter / [todo: compiler]
klug
puzzles
Advent of Code, HackerRank, etc ... a variety of programming problems solved in a variety of ways.
gavinleroy's Repositories
gavinleroy/compiler-construction
Advanced Compiler Construction CS 420 @ EPFL
gavinleroy/earth-mantle
gavinleroy/puzzles
Advent of Code, HackerRank, etc ... a variety of programming problems solved in a variety of ways.
gavinleroy/cl-roman
Write Roman Numeral literals in Common Lisp.
gavinleroy/aquascope
Interactive visualizations of Rust at compile-time and run-time
gavinleroy/argus
TBD
gavinleroy/argus-study
gavinleroy/Cell.jl
gavinleroy/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
gavinleroy/chatter
gavinleroy/cl-pdf
CL-PDF is a cross-platform Common Lisp library for generating PDF files.
gavinleroy/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
gavinleroy/dead
gavinleroy/depot
A JS devtool orchestrator
gavinleroy/flowistry
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
gavinleroy/gobra
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
gavinleroy/gobra-mode
Support for gobra verification tool
gavinleroy/klein
gavinleroy/lem
Common Lisp editor/IDE with high expansibility
gavinleroy/miri
An interpreter for Rust's mid-level intermediate representation
gavinleroy/naughty-traits
gavinleroy/particle-swarm
gavinleroy/polonius
Defines the Rust borrow checker.
gavinleroy/rust
Empowering everyone to build reliable and efficient software.
gavinleroy/rust-analyzer
A Rust compiler front-end for IDEs
gavinleroy/rustc-plugin
A framework for writing plugins that integrate with the Rust compiler
gavinleroy/scion
SCION Internet Architecture
gavinleroy/scripts
A handful of scripts that make my life easier
gavinleroy/this-week-in-rust
Data for this-week-in-rust.org
gavinleroy/ts-rs
Generate TypeScript bindings from Rust types