gavinleroy Goto Github PK

alive2

Automatic verification of LLVM optimizations

aquascope

Interactive visualizations of Rust at compile-time and run-time

argus

TBD

argus-study

black

Kenichi Asai's reflective programming language Black

cell.jl

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

chatter

cl-pdf

CL-PDF is a cross-platform Common Lisp library for generating PDF files.

cl-roman

Write Roman Numeral literals in Common Lisp.

cl-typesetting

coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

compiler-construction

Advanced Compiler Construction CS 420 @ EPFL

config-rs

⚙️ Layered configuration system for Rust applications (with strong support for 12-factor applications).

cs6110

curly

dead

depot

A JS devtool orchestrator

earth-mantle

ffmpeg

Mirror of git://source.ffmpeg.org/ffmpeg.git

flowistry

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

fp-studio

fpga-robot

Final project for digital circuits, fpga robot coded in verilog

gobra

Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.

gobra-mode

Support for gobra verification tool

graph

Generic graph library and algorithms for Racket.

graphanimator

Java Graphical Application which animates popular graph algorithms

gscheme

An ever expanding subset of the R6RS specification

jplc

Just another Programming Language (JPL) interpreter / [todo: compiler]

klein