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
• connermcd / sed
  Haskell implementation of sed
  ☆37Updated 7 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 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
• agrbin / svgtex
  Using MathJax and PhantomJS to create SVGs on server side with minimum overhead.
  ☆70Updated 9 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 9 years ago
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆109Updated 7 years ago
• jgm / cmarkpdf
  Steps towards a PDF renderer for cmark using libharu
  ☆14Updated 9 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• splinterofchaos / Pure
  An almost-pure C++ library for writing functional code.
  ☆37Updated 10 years ago
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆94Updated 6 years ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 12 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 7 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• olahol / bf2c
  Not the smallest compiler ever
  ☆20Updated 9 years ago
• josem / bigoref
  Big O Reference of common algorithms and data structures
  ☆50Updated 5 years ago
• mirror / cygwin
  Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.
  ☆23Updated 9 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated 2 years ago
• TikhonJelvis / Cow
  Semantic Version Control mk II.
  ☆37Updated 4 years ago
• zohooo / jekyde
  Static blog generater, server and writer. Write markdown with latex in desktop/mobile browsers.
  ☆54Updated 10 years ago
• GaloisInc / icfpcontest2015
  The 2015 ICFP Programming Contest
  ☆7Updated 9 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 8 years ago
• haskell-infra / hl
  Haskell web site (old -- see new repo at https://github.com/haskell-infra/www.haskell.org)
  ☆158Updated 3 years ago
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 10 years ago
• shouya / thinking-dumps
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆30Updated last year
• begriffs / algorithm-freezer
  Know your algorithms cold!
  ☆29Updated 9 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 12 years ago