Pinned Repositories
aquascope
Interactive visualizations of Rust at compile-time and run-time
cl-roman
Write Roman Numeral literals in Common Lisp.
earth-mantle
FFmpeg
Mirror of git://source.ffmpeg.org/ffmpeg.git
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.
vim-jpl
gavinleroy's Repositories
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/gscheme
An ever expanding subset of the R6RS specification
gavinleroy/jplc
Just another Programming Language (JPL) interpreter / [todo: compiler]
gavinleroy/aquascope
Interactive visualizations of Rust at compile-time and run-time
gavinleroy/argus
TBD
gavinleroy/chalk
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
gavinleroy/cl-pdf
CL-PDF is a cross-platform Common Lisp library for generating PDF files.
gavinleroy/compiler-construction
Advanced Compiler Construction CS 420 @ EPFL
gavinleroy/dead
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/graph
Generic graph library and algorithms for Racket.
gavinleroy/klein
gavinleroy/naughty-traits
gavinleroy/particle-swarm
gavinleroy/polonius
Defines the Rust borrow checker.
gavinleroy/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
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/ts-rs
Generate TypeScript bindings from Rust types
gavinleroy/viper-ide
This is the main repository for the Viper IDE extension for VS Code.
gavinleroy/viper-mode
An Emacs major mode for editing Viper code
gavinleroy/yarpgen
Yet Another Random Program Generator
gavinleroy/z3
The Z3 Theorem Prover