endobson Goto Github PK

agda

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

brainfudge

F*dging up a Racket: how to write Brainf*ck as a Racket language

c-ares

A C library for asynchronous DNS requests

c.rkt

Racket utilities for manipulating C source code.

cloud-functions

concurrent-data

Concurrent data structures for Racket.

contracts

Static contracts

cs195r-tests

Test Suite for Compilers Course

distroless

🥑 Language focused docker images, minus the operating system.

dotfiles

Personal dotfiles.

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.

minimal-racket

A minimal docker image containing racket

optimization-coach

Optimization Coach Plug-In for DrRacket

protobuf

Protocol Buffers - Google's data interchange format

racket

The Racket repository

racket-git

libgit2 bindings for the Racket programming language

racket-grpc

Racket bindings to grpc

racket-llvm

Bindings for llvm in racket

racket-mvar

An implementation of Haskell’s MVars in Racket

racket-protobuf