Alternatives and similar repositories for Legacy-planetary

Users that are interested in Legacy-planetary are comparing it to the libraries listed below

• mjdominus / topology-doc
  Short introduction to topology for people who don't really care about topology
  ☆48Updated 13 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆110Updated 7 years ago
• drothlis / how-to-learn-emacs
  Source code of "How to learn Emacs" guide at https://david.rothlis.net/emacs/howtolearn.html
  ☆43Updated 10 years ago
• mirror / cygwin
  Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.
  ☆23Updated 9 years ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• egonSchiele / chips
  A clone of Chips Challenge in Haskell
  ☆142Updated 10 years ago
• connermcd / sed
  Haskell implementation of sed
  ☆37Updated 8 years ago
• booktree / booktree
  UPDATE: I've decided that this project is not useful enough, Git for local editing is not the bottleneck. We must focus on ranking algori…
  ☆51Updated 7 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• mattpap / mathematica-parser
  Mathematica's programming language parser written in Scala
  ☆24Updated 10 years ago
• dartar / The-Beauty-of-LaTeX
  A copy of all materials (TEX, PDF, DOC, PNG) used in my article on TeX and professional fonts
  ☆122Updated 13 years ago
• carliros / Simple-San-Simon-Functional-Web-Browser
  A Web Browser written with Haskell
  ☆37Updated 4 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 8 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 9 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• logankoester / docker-archlinux
  A fully updated Arch Linux base image
  ☆7Updated 9 years ago
• wkoszek / flviz
  FLVIz - Finite Automata Simulator written in QT/Graphviz
  ☆36Updated 9 years ago
• splinterofchaos / Pure
  An almost-pure C++ library for writing functional code.
  ☆37Updated 10 years ago
• josem / bigoref
  Big O Reference of common algorithms and data structures
  ☆50Updated 5 years ago
• nichtich / ditaa-markdown
  process ditaa diagrams embedded in pandoc markdown
  ☆69Updated 9 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• adept-dm / adept
  Adept - the predictable dependency management system
  ☆171Updated 10 years ago
• jwiegley / ready-lisp
  A distribution of Aquamacs, SBCL and SLIME which offers the simplest way to run Common Lisp on Mac OS X
  ☆17Updated 16 years ago
• scslab / cs240h-notes
  Stanford CS240h Class Notes -- Functional Systems in Haskell
  ☆27Updated 11 years ago
• planetmath / 05_Combinatorics
  ☆10Updated 2 years ago
• GaloisInc / icfpcontest2015
  The 2015 ICFP Programming Contest
  ☆7Updated 9 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• bartuer / ydiff
  a language-aware tool for comparing programs
  ☆28Updated 13 years ago