Alternatives and similar repositories for Legacy-planetary

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

• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• mjdominus / topology-doc
  Short introduction to topology for people who don't really care about topology
  ☆48Updated 13 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 8 years ago
• gnuplot / gnuplot-old
  Unofficial mirror of gnuplot's CVS repository. It should be unmodified source, but this copy has been created with buggy "git cvsimport" …
  ☆139Updated 7 years ago
• connermcd / sed
  Haskell implementation of sed
  ☆37Updated 7 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 8 years ago
• agrbin / svgtex
  Using MathJax and PhantomJS to create SVGs on server side with minimum overhead.
  ☆70Updated 9 years ago
• mattpap / mathematica-parser
  Mathematica's programming language parser written in Scala
  ☆24Updated 10 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆29Updated last year
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated 2 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
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• mirror / cygwin
  Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.
  ☆23Updated 9 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆52Updated 10 years ago
• ellson / MOTHBALLED-webdot
  Moved to https://gitlab.com/graphviz/webdot
  ☆86Updated 7 years ago
• splinterofchaos / Pure
  An almost-pure C++ library for writing functional code.
  ☆37Updated 10 years ago
• alfanick / rest-cpp
  REST-like framework and server for blazing fast web applications in C++11.
  ☆16Updated 8 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
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated 3 months ago
• chris-taylor / SICP-in-Haskell
  ☆50Updated 12 years ago
• imatix / openamq
  Full history of the first AMQP implementation 2004-2009
  ☆30Updated 8 years ago
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆110Updated 7 years ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆37Updated 10 years ago
• rejuvyesh / papers
  git-annex repo of papers
  ☆14Updated 8 years ago
• schemeway / SchemeScript
  Scheme Editor plugin for Eclipse
  ☆38Updated 6 years ago
• jamii / springer-recommendations
  'People who downloaded this paper also downloaded...'
  ☆51Updated 12 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• alnkpa / sublimeprolog
  This a Prolog syntax highlighting for Sublime Text 2 & 3
  ☆66Updated 5 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 12 years ago