varkor Goto Github PK

acs-category-theory-notes-2017

Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.

awesome-tikz

A curated list of awesome TikZ documentations, libraries and resources

bitflags

A macro to generate structures which behave like bitflags

blog

A small blog about type theory and mathematics

book

The Rust Programming Language

cargo

The Rust package manager

chalk

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

compiler-builtins

Porting `compiler-rt` intrinsics to Rust

distort

A small game demonstrating a grid distortion effect

emscripten

Emscripten: An LLVM-to-JavaScript Compiler

emscripten-fastcomp

emscripten llvm

ena

An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.

epilog

A toy Prolog compiler

epimy

A compositional Epilog and MysoreScript compiler

europroofnet.github.io

Sources of the EuroProofNet web site.

firefox-ios

Firefox for iOS

flowgrid

A flexible JavaScript drag-and-drop tile system

fmt-rfcs

RFCs for Rust formatting guidelines and changes to Rustfmt

getopts

glutin

Pure Rust alternative to GLFW

gunswap

Javascript Siteswap Animator

hack-cambridge-website

Hack Cambridge online! https://hackcambridge.com

hc-applications

Processing of applications for Hack Cambridge

highfive

Github hooks to provide an encouraging atmosphere for new contributors

jsx-tikzcd

Render tikzcd diagrams with JSX.

libm

A port of MUSL's libm to Rust.

llvm

"Temporary" fork of LLVM for Rust

llvm-project

Rust-specific fork of LLVM.

maths-tree

A prototype experiment in mathematical typesetting

metasub

A prototype proof-assistant synthesiser for second-order abstract syntax