Alternatives and similar repositories for docker-archlinux

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

• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• mbork / ox-oddmuse
  Emacs Org-mode exporter for Oddmuse
  ☆9Updated 7 years ago
• purcell / darcs-to-git
  Convert/mirror darcs repos into git repos
  ☆98Updated 8 months ago
• boostpro / emacs-llvm-jit
  Fork of Emacs 24.1 that replaces the byte-code interpreter with the LLVM JIT
  ☆26Updated 13 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆110Updated 7 years ago
• opencog / attention
  OpenCog Attention Allocation Subsystem
  ☆14Updated 3 months ago
• nfomon / shok
  shok command shell
  ☆144Updated 9 years ago
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 7 years ago
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆16Updated 2 years ago
• NalaGinrut / guile-colorized
  colorized REPL for GNU Guile
  ☆37Updated 7 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
  ☆36Updated 10 years ago
• jgm / cmarkpdf
  Steps towards a PDF renderer for cmark using libharu
  ☆14Updated 9 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 5 months ago
• scslab / cs240h-notes
  Stanford CS240h Class Notes -- Functional Systems in Haskell
  ☆27Updated 11 years ago
• thomasjm / puma
  Web-based LaTeX editor
  ☆12Updated 9 years ago
• mboes / hmk
  A pure Haskell implementation of Plan9's mk
  ☆16Updated 9 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• jasonhemann / miniKanren
  An outdated miniKanren implementation with a not-pairo constraint
  ☆30Updated 11 years ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago
• TieDyedDevil / XS
  [ABANDONED] An extensible shell (descended from es and rc) having functional semantics and a conventional syntax.
  ☆51Updated 3 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 4 years ago
• cofinalsubnets / wisp
  small-but-featureful embeddable lisp interpreter written in haskell.
  ☆115Updated 12 years ago
• MathHubInfo / Legacy-planetary
  Legacy: Planetary System is a math-enabled Web 3.0 information portal.
  ☆79Updated 8 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆123Updated 10 years ago
• wyc / snippets
  ☆52Updated 8 years ago