stepchowfun/cfg-checker

This repository has been archived on 17/Jan/2022
Stars
38
Rank 706,870 (Top 14 %)
Language
C++
Created almost 8 years ago
Updated over 3 years ago

stepchowfun/cfg-checker

stepchowfun

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Search for ambiguities in context-free grammars.

toast

Containerize your development and continuous integration environments. 🥂

docuum

Docuum performs least recently used (LRU) eviction of Docker images. 🗑️

proofs

My personal repository of formally verified mathematics.

theorem-prover

An automated theorem prover for first-order logic.

tagref

Tagref helps you maintain cross-references in your code.

socket.js

A realtime communication framework for Node.js.

hashpass

A simple password manager with a twist.

effects

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.

typical

Data interchange with algebraic data types.

raytracer

A browser-based real-time raytracer written in CoffeeScript.

data-structure-explorer

A web-based pedagogical tool for exploring data structures.

unicode

Portable ASCII and Unicode string manipulation functions for C++.

doesgoogleexecutejavascript

Google executes JavaScript, even if the script is fetched from the network. However, Google does not make AJAX requests.

dotfiles

My configuration files.

paxos

An implementation of single-decree Paxos.

dubstepn

My personal blog.

base16-circus-scheme

A theme for the Base16 color system.

gigamesh

A home for all your notes.

coq-intro

An introduction to proving theorems and certifying programs with Coq.

gigamesh-schema

The Typical schema for the Gigamesh data model.

stem-cell

A simple project to demonstrate the cross-platform release management process I use for my open source work.

subjunct

A website for sharing secrets.

garnet

A fast and minimalist template engine for Node.

webpack-scaffolding

Scaffolding for building web applications.

gists

Small projects that don't deserve their own repository.