MathHubInfo / Legacy-planetary

Related projects: ⓘ

• jamesdabbs / pi-base.hs
  A Haskell-powered modernization of Counterexamples in Topology
  ☆39Updated 8 years ago
• brianmingus / bibtex.js
  ☆18Updated this week
• 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
• agrbin / svgtex
  Using MathJax and PhantomJS to create SVGs on server side with minimum overhead.
  ☆70Updated 8 years ago
• mjdominus / topology-doc
  Short introduction to topology for people who don't really care about topology
  ☆47Updated 13 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• erjiang / foxscheme
  An R5RS Scheme in JavaScript.
  ☆16Updated last year
• connermcd / sed
  Haskell implementation of sed
  ☆38Updated 7 years ago
• ipython / nbconvert
  ☆18Updated this week
• mirror / cygwin
  Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.
  ☆22Updated 8 years ago
• danluu / Fuzz.jl
  World's dumbest fuzzer
  ☆51Updated 9 months ago
• jgm / highlighting-kate
  A syntax highlighting library in Haskell, based on Kate syntax definitions
  ☆109Updated 6 years ago
• bcrowell / calculus
  ☆37Updated this week
• alnkpa / sublimeprolog
  This a Prolog syntax highlighting for Sublime Text 2 & 3
  ☆66Updated 4 years ago
• williamstein / rh
  Riemann Hypothesis book
  ☆74Updated 6 years ago
• the-little-prover / the-little-prover.github.io
  ☆9Updated 8 years ago
• fbreuer / qute-html5
  Qute Text Editor - built with web technologies
  ☆128Updated 11 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆111Updated 7 years ago
• rejuvyesh / papers
  git-annex repo of papers
  ☆12Updated 8 years ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• jtauber / pykanren
  an attempt to implement miniKanren and microKanren in Python
  ☆53Updated 10 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• nichtich / ditaa-markdown
  process ditaa diagrams embedded in pandoc markdown
  ☆68Updated 9 years ago
• jgm / gitit2
  A reimplementation of gitit in Yesod
  ☆95Updated 6 years ago
• lokedhs / android-gnu-apl
  GNU APL port to Android
  ☆16Updated 9 years ago
• madmurphy / rosetta.js
  A possible, extensible collection of compilers to native ECMAScript
  ☆15Updated 7 years ago
• JacksonGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 7 years ago
• GaloisInc / icfpcontest2015
  The 2015 ICFP Programming Contest
  ☆7Updated 8 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆26Updated 5 years ago
• TikhonJelvis / Cow
  Semantic Version Control mk II.
  ☆37Updated 4 years ago