Alternatives and similar repositories for docker-archlinux:

Users that are interested in docker-archlinux are comparing it to the libraries listed below

• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 10 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 8 years ago
• pjotrp / nix-no-root
  Empowered Nix/Guix without root
  ☆35Updated 9 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 11 years ago
• opencog / attention
  OpenCog Attention Allocation Subsystem
  ☆12Updated this week
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 8 years ago
• bollwyvl / hy_kernel
  A simple IPython kernel for Hy
  ☆46Updated 2 years ago
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 9 years ago
• troyp / ls.el
  List processing utilities for Emacs Lisp
  ☆7Updated 7 years ago
• puffnfresh / atsboot
  A tiny 32 bit kernel written in ATS
  ☆26Updated 10 years ago
• nichtich / Pandoc-Elements
  Perl module to create and process Pandoc documents
  ☆10Updated 3 years ago
• mbork / ox-oddmuse
  Emacs Org-mode exporter for Oddmuse
  ☆9Updated 7 years ago
• MislankaNova / geo
  Procedural terrain generator.
  ☆9Updated 7 years ago
• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆39Updated 6 years ago
• nicferrier / emacs-ejit
  Javascript compiler for EmacsLisp
  ☆53Updated 10 years ago
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆97Updated 2 months ago
• scslab / cs240h-notes
  Stanford CS240h Class Notes -- Functional Systems in Haskell
  ☆27Updated 10 years ago
• mattfidler / EmacsPortable.App
  Emacs Portable App attempts to create a Mac/Windows portable application
  ☆31Updated 6 years ago
• andyarvanitis / idris-cplusplus
  Experimental C++11 backend for Idris
  ☆14Updated 10 years ago
• gongo / emacs-toml
  TOML (Tom's Obvious, Minimal Language) parser and generator
  ☆17Updated 11 months ago
• liyang / fast-math
  Play fast and loose with IEEE-754 rewrite RULES
  ☆25Updated 9 years ago
• nfomon / shok
  shok command shell
  ☆144Updated 9 years ago
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆109Updated 7 years ago
• NalaGinrut / guile-colorized
  colorized REPL for GNU Guile
  ☆36Updated 6 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 6 years ago
• BurntSushi / pager-multihead
  A pager that supports per-monitor desktops (compatible with Openbox Multihead and Wingo)
  ☆15Updated 8 years ago
• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 9 years ago