Alternatives and similar repositories for docker-archlinux:

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

• boostpro / emacs-llvm-jit
  Fork of Emacs 24.1 that replaces the byte-code interpreter with the LLVM JIT
  ☆26Updated 12 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆31Updated 11 years ago
• mbork / ox-oddmuse
  Emacs Org-mode exporter for Oddmuse
  ☆9Updated 7 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆14Updated 10 years ago
• shriram / repro-in-cs
  Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)
  ☆58Updated 10 years ago
• scslab / cs240h-notes
  Stanford CS240h Class Notes -- Functional Systems in Haskell
  ☆27Updated 10 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• haskell / xhtml
  XHTML combinator library
  ☆9Updated 3 months ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago
• opencog / attention
  OpenCog Attention Allocation Subsystem
  ☆13Updated last month
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 9 years ago
• sdiehl / cats
  Generate commutative diagrams inside of Pandoc with Tikz
  ☆35Updated 7 years ago
• eugeneia / geneva
  Geneva: portable document preparation system
  ☆9Updated 8 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 8 years ago
• NalaGinrut / guile-colorized
  colorized REPL for GNU Guile
  ☆36Updated 6 years ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 12 years ago
• racket / slideshow
  ☆34Updated this week
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• Hylands / macros
  A collection of macros for Hy
  ☆10Updated 10 years ago
• BurntSushi / pager-multihead
  A pager that supports per-monitor desktops (compatible with Openbox Multihead and Wingo)
  ☆15Updated 8 years ago
• i4h / latex-systemdynamics
  A Latex package for drawing SD diagrams using tikz
  ☆10Updated 8 years ago
• cartazio / language-c
  git mirror of language-c darcs repo at http://code.haskell.org/language-c
  ☆12Updated last year
• pepeiborra / term
  Term Rewriting Systems
  ☆17Updated 9 years ago
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆50Updated 9 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 8 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• nichtich / Pandoc-Elements
  Perl module to create and process Pandoc documents
  ☆10Updated 3 years ago
• Phreedom / nixpkgs-monitor
  nixpkgs package status, freshness and security status monitor
  ☆40Updated 8 years ago