A tool for generating cross-language type declarations and interface bindings.

A next generation config management prototype!

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…

a restricted code execution framework

The C++ REST SDK is a Microsoft project for cloud-based client-server communication in native code using a modern asynchronous C++ API design. This project aims to help C++ developers connect to an…

A Very Gentle Introduction to Relational Programming

An extension for VS Code which provides support for the Go language.

A starter kit for building a standard navigation-style electron app with Aurelia, typescript and materialize.

An edX external grader framework.

Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic

runc container cli tools

Build and run Docker containers leveraging NVIDIA GPUs

CPU/GPU performance control library for benchmarking

Boilerplate application for Electron runtime

A directed multi-graph library for JavaScript

golang ide with vim

A float32 version of Go's math package

Rust library for syntax highlighting using Sublime Text syntax definitions.

Directed graph renderer for javascript

A simple, in-browser, markdown-driven slideshow tool.

A binding layer between React and TypeScript

Just a blogging platform

ReactJS based Presentation Library

A Docker container to host the OpenEdx XBlock SDK

🔥 A highly scalable, offline-first foundation with the best developer experience and a focus on performance and best practices.

The sassy UML diagram renderer

Arbitrary-precision fixed-point decimal numbers in go

Mathematica/Wolfram Language lexer and highlighter for Pygments

A Declarative Theorem Prover for First-Order Classical Logic