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
  ☆15Updated 10 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• nichtich / Pandoc-Elements
  Perl module to create and process Pandoc documents
  ☆10Updated 3 years ago
• gergoerdi / alef
  Alef Lazily Evaluates Functions
  ☆32Updated 12 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• mattfidler / EmacsPortable.App
  Emacs Portable App attempts to create a Mac/Windows portable application
  ☆32Updated 6 years ago
• danhammer / game-theory
  Game theory in Clojure
  ☆18Updated 12 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
• boostpro / emacs-llvm-jit
  Fork of Emacs 24.1 that replaces the byte-code interpreter with the LLVM JIT
  ☆26Updated 12 years ago
• tomheon / diffscuss
  Code reviews. In plain text.
  ☆340Updated 4 years ago
• mbork / ox-oddmuse
  Emacs Org-mode exporter for Oddmuse
  ☆9Updated 7 years ago
• ruliana / racket-examples
  Examples of the nice parts of Racket
  ☆22Updated 7 years ago
• pjotrp / nix-no-root
  Empowered Nix/Guix without root
  ☆36Updated 9 years ago
• jwiegley / thinking-with-functions
  A brief presentation on Denotational Design, based on Conal Elliott's work
  ☆24Updated 5 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
• bergey / org-babel-diagrams
  embed haskell diagrams in emacs org-mode files
  ☆10Updated 9 years ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• dakni / RRREmacs
  Reproducible Research using R in Emacs
  ☆9Updated 7 years ago
• rljacobson / MathLine
  A textual front end to Mathematica.
  ☆12Updated 5 years ago
• Hylands / macros
  A collection of macros for Hy
  ☆10Updated 10 years ago
• zweifisch / ob-rust
  org-babel functions for rust evaluation
  ☆11Updated 10 years ago
• dsanson / pandoc-templates
  Templates for pandoc
  ☆17Updated 9 years ago
• jellelicht / guix
  Coordinating my guix hacking
  ☆8Updated 6 years ago
• hopkinsr / terminal-color
  A Racket library to output colored text to the terminal on any platform, including Windows
  ☆18Updated 8 years ago
• bollwyvl / hy_kernel
  A simple IPython kernel for Hy
  ☆47Updated 3 years ago
• bqv / guix
  A package and module for using GNU Guix on Nix(OS). Kinda more a code dump than for actual use. See fork
  ☆15Updated 5 years ago
• skogsbaer / hscurses
  ncurses binding for Haskell
  ☆62Updated last month
• miniKanren / sokuza-kanren
  Oleg Kiselyov's minimal implementation of logic programming
  ☆23Updated 12 years ago