endobson

racket-llvm

Bindings for llvm in racket

racket-grpc

Racket bindings to grpc

yaspl2

racket

The Racket repository

agda

dotfiles

Personal dotfiles.

minimal-racket

A minimal docker image containing racket

racket-protobuf

agda-core

Agda is a dependently typed programming language / interactive theorem prover.

bazel

Correct, reproducible, and fast builds for everyone.

bazelbuild-homebrew-tap

This repository contains a collection of Homebrew (aka, Brew) "formulae" for Bazel

bes-server

c-ares

A C library for asynchronous DNS requests

cloud-functions

distroless

🥑 Language focused docker images, minus the operating system.

efi-clang

Build UEFI applications with the Clang compiler and LLD linker.

examples

googleapis

Public interface definitions of Google APIs.

grommet

Crypto implemenetations in pure Typed Racket .

grpc

The C based gRPC (C++, Node.js, Python, Ruby, Objective-C, PHP, C#)

guice

Guice (pronounced 'juice') is a lightweight dependency injection framework for Java 6 and above, brought to you by Google.

kythe

Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

optimization-coach

Optimization Coach Plug-In for DrRacket

protobuf

Protocol Buffers - Google's data interchange format

racket-mvar

An implementation of Haskell’s MVars in Racket

trunk

Make bazel an out of box solution for C++/Java developers

typed-racket

unstable-contract-lib

website

WebAssembly website

wescheme-compiler2012

The WeScheme server compiler