Pinned Repositories
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
PlayShakespeare.com-XML
XML Editions of the complete works of Shakespeare
pypoems
SKITypes
Implementing the SKI combinator calculus in Haskell's type system
adampalay's Repositories
adampalay/SKITypes
Implementing the SKI combinator calculus in Haskell's type system
adampalay/circuit-finder
use tla+ to find programs, from circuits, quantum, to Lisp
adampalay/pypoems
adampalay/coq-intro
Working through "Coq in a Hurry" https://cel.archives-ouvertes.fr/inria-00001173v6/document
adampalay/PlayShakespeare.com-XML
XML Editions of the complete works of Shakespeare
adampalay/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.
adampalay/edx-gomatic
Collection of gomatic scripts used at edx
adampalay/edx-platform
The Open edX platform, the software that powers edX!
adampalay/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.
adampalay/hello-garnix
adampalay/jsonParser
adampalay/mastermind
very rough implementation of mastermind game
adampalay/nand2tetris
programming assignments for nand2tetris (http://nand2tetris.org)
adampalay/network-hackathon
adampalay/nltk
NLTK Source
adampalay/pronouncingpy
A simple interface for the CMU pronouncing dictionary
adampalay/rc-quines
Recurse Center Quine Game
adampalay/rhymes
adampalay/rust-intro-ngw
adampalay/starter
A starter site for Jekyll + Prose
adampalay/vasarely
Generates Vasarely-like arrangements of blocks
adampalay/voter-turnout
visualization of voter turnout by state for 2016 general election