uuner

pure-bash-bible

📖 A collection of pure bash alternatives to external processes.

lambda

Functional patterns for Java

coq_jupyter

Jupyter kernel for Coq

MusicTools

zombie-maze-walker

A short shell script about zombies and mazes

sedtris

Tetris in sed

hnix

A Haskell re-implementation of the Nix expression language

gcc_termux

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

cayley

An open-source graph database

ace

Ace (Ajax.org Cloud9 Editor)

playmeasong

shell scripts to play a random melody

awesome-courses

:books: List of awesome university courses for learning Computer Science!

gimp-plugins

template-helper

Useful functions using Template Haskell.

ghcjs

Haskell to JavaScript compiler, based on GHC

sphero.js

🚫 DEPRECATED: The Sphero JavaScript SDK to control Sphero robots.

bb8-driver

idris-quickcheck

A port of QuickCheck to Idris

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

htet2d

a terminal-based tetris implementation in haskell

htet3d

a very old and unfinished implementation of a tetris-like 3d game

pipe-dream

various operations on permutations and pipe dreams

plush

Plush - the comfy shell

cabal

Official upstream development repository for Cabal and cabal-install

HTTP

Haskell HTTP package

snap

Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.

snap-server

A fast HTTP server library, which runs Snap web handlers.

snap-core

Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.

yesod

A RESTful Haskell web framework built on WAI.