logankoester / docker-archlinuxLinks
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
Sorting:
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- A syntax highlighting library in Haskell, based on Kate syntax definitions☆110Updated 7 years ago
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- Fork of Emacs 24.1 that replaces the byte-code interpreter with the LLVM JIT☆26Updated 12 years ago
- A programming language☆77Updated 12 years ago
- A type theory based theorem proving library☆25Updated 13 years ago
- Interactive-diagrams☆39Updated 10 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- A tiny 32 bit kernel written in ATS☆26Updated 11 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆39Updated 6 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Updated 9 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- A pure Haskell implementation of Plan9's mk☆16Updated 9 years ago
- Stanford CS240h Class Notes -- Functional Systems in Haskell☆27Updated 11 years ago
- shok command shell☆144Updated 9 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- Convert/mirror darcs repos into git repos☆97Updated 6 months ago
- colorized REPL for GNU Guile☆37Updated 7 years ago
- embed haskell diagrams in emacs org-mode files☆10Updated 9 years ago
- xmonad in Coq☆46Updated 12 years ago
- Used libraries: llvm-general, llvm-general-pure - 3.4.2-1; llvm version: 3.4.2-1; Based on http://www.stephendiehl.com/llvm/ solution.☆7Updated 9 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18Updated 10 years ago
- Experimental C++11 backend for Idris☆14Updated 10 years ago
- Fine-grained lattice primitives for Haskell☆18Updated 7 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago