thaliaarchi/bfcoq

Stars
7
Rank 2,294,772 (Top 46 %)
Language Coq
License
GNU General Publi...
Created almost 2 years ago
Updated 8 months ago

thaliaarchi/bfcoq

thaliaarchi

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

Brainfuck compiler in Coq

wsjq

Whitespace interpreter and debugger in jq

browser

Parsing library for Firefox and Chromium user data

gocipher

A Go library implementing many classical ciphers

regexp-museum

A museum of historical and modern regular expression engines, showing their development and influence

nebula

Compiler for the stack-based Whitespace language with LLVM back end.

transup

Decoding of Blu-Ray PGS (sup) subtitle format

notes

A notebook on compilers, programming languages, and other topics.

brick-apis

A collection of APIs for BrickLink, Brickset, and LEGO

unity-termsofservice

Mirror of Unity's terms of service

urlhero

Link resolver for current and defunct URL shorteners

lazy-wspace

A Whitespace compiler and interpreter with lazy semantics

ws-challenges

Solutions for Project Euler, Advent of Code, and Rosetta Code in Whitespace

wscoq

Whitespace implementation in Coq

deque

Reusable double-ended queue iterable container implemented as a circular array.

adobe-cred

Analysis of the 2013 Adobe users.tar.gz dump

yspace

Work-in-progress toolchain for the Whitespace programming language

compiler-notes

Notes and readings on compilers

EightBitTunes

Plays 8bit tunes on an Arduino from ABC Notation format songs.

coq-turing-typeclass

A proof that Coq typeclass resolution is Turing-complete

bfrs

An optimizing compiler for Brainfuck.

wsbf

Whitespace interpreter in Brainfuck

cybf-archive

Archive of CyBF, a language that compiles to Brainfuck by Cybis

xmlang

A functional programming language with XML syntax

respace

An interpreter and assembler for the Whitespace language written in C++

re1-rust

A port of re1, Russ Cox’s simple, virtual machine–based regular expression engine

mt19937-archive

Reconstructed revision history for the MT19937 Mersenne Twister PRNG by Makoto Matsumoto and Takuji Nishimura

nebula2

Toolchain for the Whitespace programming language

foones-eightfold

A dependently typed esolang by Pablo Barenbaum. This repo restores the full revision history.

Papercraft-Pig-Generator

This is a generator made for pixelpapercraft.com that creates a papercraft pig design from a minecraft texture file.