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. Agda

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. Scheme

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. JavaScript

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.