adampalay Goto Github PK

circuit-finder

use tla+ to find programs, from circuits, quantum, to Lisp

contracts

PyContracts is a Python package that allows to declare constraints on function parameters and return values. Contracts can be specified using Python3 annotations, or inside a docstring :type: and :rtype: tags. PyContracts supports a basic type system, variables binding, arithmetic constraints, and has several specialized contracts (notably for Numpy arrays), as well as an extension API.

coq-intro

Working through "Coq in a Hurry" https://cel.archives-ouvertes.fr/inria-00001173v6/document

edx-gomatic

Collection of gomatic scripts used at edx

edx-platform

The Open edX platform, the software that powers edX!

git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

hello-garnix

jsonparser

mastermind

very rough implementation of mastermind game

nand2tetris

programming assignments for nand2tetris (http://nand2tetris.org)

network-hackathon

nltk

NLTK Source

playshakespeare.com-xml

XML Editions of the complete works of Shakespeare

pronouncingpy

A simple interface for the CMU pronouncing dictionary

pypoems

rc-quines

Recurse Center Quine Game

rhymes

rust-intro-ngw

skitypes

Implementing the SKI combinator calculus in Haskell's type system

starter

A starter site for Jekyll + Prose

vasarely

Generates Vasarely-like arrangements of blocks

voter-turnout

visualization of voter turnout by state for 2016 general election