tchajed Goto Github PK

100game

Analysis of the 100 game

ac-reasoning

Automating simplifying expressions according to associative-commutative reasoning in Coq

adjacent

astro_nvim_user

User configuration for AstroNvim

atbr

A tactic for deciding Kleene algebras

atom-rooster

Coq atom package

audiobook-splitting

Splitting audiobooks by chapter

awesome-interactive-journalism

A list of awesome interactive journalism projects.

base-drafts

Internet-Drafts that make up the base QUIC specification

bash-snippets

A collection of small bash scripts for heavy terminal users

batteries-included

Batteries Included project

bbv

Bedrock Bit Vector Library

bedrock2

A work-in-progress language and compiler for verified low-level programming

botc-custom-script-json2pdf

Yet Another Custom Script Generator for Blood on the Clocktower

botc-icons

botc-tools

Storyteller tools for Blood on the Clocktower

brew

:beer: The missing package manager for OS X

brittany

haskell source code formatter

camlp5.github.io

cardinality

Reasoning about finite type cardinality in Coq

check

Rich testing for the Go language

chomp

clap-rs

A full featured, fast Command Line Argument Parser for Rust

cliff

Find the load at which a benchmark falls over.

cloc

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

cloud-arch

Script for generating Arch Linux cloud images

cloudflare-docs

Cloudflare’s developer docs.

code-prettify

Automatically exported from code.google.com/p/google-code-prettify

company-coq

IDE extensions for Proof General's Coq mode

content

The content behind MDN Web Docs