Alternatives and similar repositories for docker-archlinux:

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

• archhaskell / cblrepo
  Tool to simplify managing a consistent set of Haskell packages for distributions.
  ☆39Updated 6 years ago
• scslab / cs240h-notes
  Stanford CS240h Class Notes -- Functional Systems in Haskell
  ☆27Updated 10 years ago
• bollwyvl / hy_kernel
  A simple IPython kernel for Hy
  ☆47Updated 3 years ago
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 9 years ago
• RaminHAL9001 / Dao
  The Dao System, a Haskell package providing a domain-specific scripting language and knowledge base designed for artificial intelligence,…
  ☆46Updated 4 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Updated 10 years ago
• opencog / attention
  OpenCog Attention Allocation Subsystem
  ☆14Updated 3 weeks ago
• yardsale8 / hymagic
  ☆34Updated 11 years ago
• pjotrp / nix-no-root
  Empowered Nix/Guix without root
  ☆35Updated 9 years ago
• mbork / ox-oddmuse
  Emacs Org-mode exporter for Oddmuse
  ☆9Updated 7 years ago
• liyang / fast-math
  Play fast and loose with IEEE-754 rewrite RULES
  ☆25Updated 9 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 8 years ago
• boostpro / emacs-llvm-jit
  Fork of Emacs 24.1 that replaces the byte-code interpreter with the LLVM JIT
  ☆26Updated 12 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• japesinator / tarts
  Timing attack resistant type systems
  ☆24Updated 9 years ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago
• gregr / ina
  experimental computational medium and supporting tools
  ☆22Updated this week
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 12 years ago
• BurntSushi / pager-multihead
  A pager that supports per-monitor desktops (compatible with Openbox Multihead and Wingo)
  ☆15Updated 8 years ago
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 9 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• puffnfresh / atsboot
  A tiny 32 bit kernel written in ATS
  ☆26Updated 10 years ago
• rgbkrk / jupyter-sidecar
  Little side display of Jupyter kernel rich output
  ☆12Updated 9 years ago
• jgm / cmarkpdf
  Steps towards a PDF renderer for cmark using libharu
  ☆14Updated 9 years ago
• rejuvyesh / papers
  git-annex repo of papers
  ☆14Updated 8 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago