Eric Dobson's repositories
racket-llvm
Bindings for llvm in racket
racket-grpc
Racket bindings to grpc
minimal-racket
A minimal docker image containing racket
agda-core
Agda is a dependently typed programming language / interactive theorem prover.
NOASSERTION000
bazelbuild-homebrew-tap
This repository contains a collection of Homebrew (aka, Brew) "formulae" for Bazel
distroless
🥑 Language focused docker images, minus the operating system.
googleapis
Public interface definitions of Google APIs.
optimization-coach
Optimization Coach Plug-In for DrRacket
racket-mvar
An implementation of Haskell’s MVars in Racket
wescheme-compiler2012
The WeScheme server compiler