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
• 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
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆110Updated 7 years ago
• mjdominus / topology-doc
  Short introduction to topology for people who don't really care about topology
  ☆48Updated 13 years ago
• wyc / snippets
  ☆52Updated 8 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• logankoester / docker-archlinux
  A fully updated Arch Linux base image
  ☆7Updated 9 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 8 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆52Updated last year
• williamstein / rh
  Riemann Hypothesis book
  ☆75Updated 7 years ago
• abhinav-upadhyay / apropos_web
  A web interface for apropos
  ☆20Updated 6 years ago
• splinterofchaos / Pure
  An almost-pure C++ library for writing functional code.
  ☆37Updated 10 years ago
• alnkpa / sublimeprolog
  This a Prolog syntax highlighting for Sublime Text 2 & 3
  ☆66Updated 5 years ago
• imatix / openamq
  Full history of the first AMQP implementation 2004-2009
  ☆30Updated 9 years ago
• abid-mujtaba / haskell-cas
  A Computer Algebra System written in and for Haskell
  ☆26Updated 8 years ago
• kasperpeulen / CoffeeTeX
  ☆19Updated 7 years ago
• ramadis / slang
  📟 Encoding/Decoding tool for Martin David's theoretical S language programs.
  ☆16Updated 8 years ago
• yallop / haskell2014-papers
  Accepted papers for Haskell 2014
  ☆52Updated 9 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
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 8 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• BinRoot / Haskell-Lectures
  Introduction to Haskell, CS 1501 Lecture slides
  ☆49Updated 10 years ago
• connermcd / sed
  Haskell implementation of sed
  ☆37Updated 8 years ago
• ajhc / ajhc
  A fork of jhc. And also a Haskell compiler.
  ☆134Updated 6 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• propella / prolog
  a prolog
  ☆29Updated 14 years ago
• CertiKOS / compcert.old
  CompCertX features to be merged into CompCert
  ☆10Updated 7 years ago
• sagemathinc / smc-public
  See https://github.com/sagemathinc/smc instead!
  ☆22Updated 6 years ago