wyn

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'

blasso

npscipy-binaries

Binaries for numpy/scipy on 64bit debian. Includes blas/lapack/atlas/gfortran archive and so files.

blash

In progress - Haskell implementation of the BLAS interface

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

ipython-bdist

A pre-built fork of the ipython project ( http://ipython.org ) for heroku.

mongo

The Mongo Database

baking-potato

A game of 'hot-potato' implemented on the Tezos blockchain

crypto-ecosystems

A taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems

dap_encoding

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

npsp-helloworld

ocaml

The core OCaml system: compilers, runtime system, base libraries

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

tapl

Exercises and such from Types and Programming Languages book (Pierce)