wyn's repositories
heroku-buildpack-python
Python buildpack
incremental
synchronous clocked dataflow in Idris - WIP
type-driven-dev
exercises from Edwin Brady book 'Type Driven Development with Idris'
npscipy-binaries
Binaries for numpy/scipy on 64bit debian. Includes blas/lapack/atlas/gfortran archive and so files.
ipython-bdist
A pre-built fork of the ipython project ( http://ipython.org ) for heroku.
baking-potato
A game of 'hot-potato' implemented on the Tezos blockchain
crypto-ecosystems
A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
doom-emacs
An Emacs configuration for the stubborn martian vimmer
feeding-haskell-to-ambiants
"Dinner with Ambiants" code puzzles and solutions for London Haskell meetings
Hero-Product
Tailwind CSS Starter Template - Hero Product
irmin
Irmin is a distributed database that follows the same design principles as Git
ocaml-multicore
Multicore OCaml
ocaml.org
Implementation of the ocaml.org website.
opam-repository
Main public package repository for opam, the source package manager of OCaml.
pRNG
An implementation of Random123 in SmartPy
re-d3-react-components
D3 with ReasonReact
re-tree-native
Child/Parent trees in reasonml native
requirejs
A file and module loader for JavaScript
rwh
rwh2
scratch
scratch area for learning stuff
smart-contracts
A library of smart contracts
strep-bot
Example Symphony Chatroom Bot in Python