MathHubInfo / Legacy-planetary
Legacy: Planetary System is a math-enabled Web 3.0 information portal.
☆79Updated 8 years ago
Alternatives and similar repositories for Legacy-planetary:
Users that are interested in Legacy-planetary are comparing it to the libraries listed below
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- an attempt to implement miniKanren and microKanren in Python☆52Updated 10 years ago
- 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
- ☆52Updated 7 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- Haskell implementation of sed☆37Updated 7 years ago
- Short introduction to topology for people who don't really care about topology☆47Updated 13 years ago
- git-annex repo of papers☆12Updated 8 years ago
- The Definition of Standard ML, Revised (1997)☆114Updated 7 years ago
- A syntax highlighting library in Haskell, based on Kate syntax definitions☆109Updated 7 years ago
- An R5RS Scheme in JavaScript.☆16Updated last year
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- ☆49Updated 12 years ago
- Steps towards a PDF renderer for cmark using libharu☆14Updated 9 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- A copy of all materials (TEX, PDF, DOC, PNG) used in my article on TeX and professional fonts☆122Updated 13 years ago
- Linux and C programming in a web browser☆26Updated 8 years ago
- 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
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- World's dumbest fuzzer☆52Updated last year
- Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.☆23Updated 9 years ago
- FLVIz - Finite Automata Simulator written in QT/Graphviz☆36Updated 9 years ago
- Frege Interpreter☆15Updated 4 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated 10 months ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 4 years ago
- Running the code you want to write as fast as the code you have to write☆140Updated 8 years ago
- A reimplementation of gitit in Yesod☆95Updated 6 years ago
- scm->js☆22Updated 9 years ago
- A SQL interface to your Linux kernel☆13Updated 9 years ago
- Chart parser (Earley SPPF)☆27Updated 6 years ago