Alternatives and similar repositories for Legacy-planetary:

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

• connermcd / sed
  Haskell implementation of sed
  ☆37Updated 7 years ago
• mattpap / mathematica-parser
  Mathematica's programming language parser written in Scala
  ☆24Updated 10 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆113Updated 7 years ago
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆109Updated 7 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated last year
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 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
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• logankoester / docker-archlinux
  A fully updated Arch Linux base image
  ☆7Updated 9 years ago
• splinterofchaos / Pure
  An almost-pure C++ library for writing functional code.
  ☆37Updated 10 years ago
• christiankissig / ocaml99
  99 Problems in OCaml
  ☆22Updated 8 years ago
• mjdominus / topology-doc
  Short introduction to topology for people who don't really care about topology
  ☆47Updated 13 years ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆27Updated 9 months 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 6 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• miniKanren / TheReasonedSchemer
  Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
  ☆126Updated 11 years ago
• CertiKOS / compcert.old
  CompCertX features to be merged into CompCert
  ☆10Updated 7 years ago
• rejuvyesh / papers
  git-annex repo of papers
  ☆12Updated 8 years ago
• carliros / Simple-San-Simon-Functional-Web-Browser
  A Web Browser written with Haskell
  ☆35Updated 3 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• marcomorain / atom
  A complete Scheme R5RS implementation, designed to be embedded in to C and C++ applications.
  ☆17Updated 9 years ago
• MoeOrganization / moe
  An -OFun prototype of an Ultra Modern Perl 5
  ☆278Updated 11 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• skogsbaer / hscurses
  ncurses binding for Haskell
  ☆61Updated last week
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 11 years ago
• webyrd / webmk
  miniKanren for interactive tutorials on the web
  ☆33Updated 7 years ago
• AmziLS / PrologCourse
  Course materials for a Prolog course
  ☆11Updated 8 years ago
• nichtich / ditaa-markdown
  process ditaa diagrams embedded in pandoc markdown
  ☆68Updated 9 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago