logankoester / docker-archlinux
A fully updated Arch Linux base image
☆7Updated 9 years ago
Alternatives and similar repositories for docker-archlinux:
Users that are interested in docker-archlinux are comparing it to the libraries listed below
- colorized REPL for GNU Guile☆37Updated 6 years ago
- A syntax highlighting library in Haskell, based on Kate syntax definitions☆109Updated 7 years ago
- Convert/mirror darcs repos into git repos☆97Updated 4 months ago
- embed haskell diagrams in emacs org-mode files☆10Updated 8 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Emacs Portable App attempts to create a Mac/Windows portable application☆31Updated 6 years ago
- Javascript compiler for EmacsLisp☆55Updated 10 years ago
- A brief presentation on Denotational Design, based on Conal Elliott's work☆24Updated 5 years ago
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- Org-based emacs.d (with Pallet and req-package goodness)☆30Updated 10 years ago
- Emacs Org-mode exporter for Oddmuse☆9Updated 7 years ago
- Empowered Nix/Guix without root☆35Updated 9 years ago
- OpenCog Attention Allocation Subsystem☆14Updated 2 months ago
- Fork of Emacs 24.1 that replaces the byte-code interpreter with the LLVM JIT☆26Updated 12 years ago
- shok command shell☆144Updated 9 years ago
- A collection of macros for Hy☆10Updated 10 years ago
- Union types and some other functional-y stuff for Hy☆51Updated 9 years ago
- A simple IPython kernel for Hy☆47Updated 3 years ago
- (DISCONTINUED, use gmailieer) experimental tag syncing between gmail tags (using X-Keywords) and notmuch tags☆16Updated 7 years ago
- An Emacs buffer list☆20Updated 7 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆39Updated 6 years ago
- A pager that supports per-monitor desktops (compatible with Openbox Multihead and Wingo)☆15Updated 8 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Updated 9 years ago
- My xmonad configuration.☆33Updated 9 years ago
- An implementation of the clustering algorithm k-means in J.☆13Updated 10 years ago
- Say "Hello ma'am!"☆8Updated 7 years ago
- A MiniKanren in Python☆35Updated 8 years ago
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago