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
- 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
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- The Definition of Standard ML, Revised (1997)☆114Updated 7 years ago
- Haskell implementation of sed☆37Updated 7 years ago
- An R5RS Scheme in JavaScript.☆16Updated 2 years ago
- Linux and C programming in a web browser☆26Updated 8 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.☆23Updated 9 years ago
- Short introduction to topology for people who don't really care about topology☆48Updated 13 years ago
- process ditaa diagrams embedded in pandoc markdown☆69Updated 9 years ago
- REST-like framework and server for blazing fast web applications in C++11.☆16Updated 8 years ago
- A syntax highlighting library in Haskell, based on Kate syntax definitions☆110Updated 7 years ago
- ☆52Updated 8 years ago
- Static blog generater, server and writer. Write markdown with latex in desktop/mobile browsers.☆54Updated 10 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
- Using MathJax and PhantomJS to create SVGs on server side with minimum overhead.☆71Updated 9 years ago
- Source code of "How to learn Emacs" guide at https://david.rothlis.net/emacs/howtolearn.html☆42Updated 10 years ago
- Mathematica's programming language parser written in Scala☆24Updated 10 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- ☆50Updated 12 years ago
- Adept - the predictable dependency management system☆171Updated 10 years ago
- A fully updated Arch Linux base image☆7Updated 9 years ago
- A distribution of Aquamacs, SBCL and SLIME which offers the simplest way to run Common Lisp on Mac OS X☆17Updated 16 years ago
- Haskell web site (old -- see new repo at https://github.com/haskell-infra/www.haskell.org)☆158Updated 3 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- pharo-core git mirror☆93Updated 7 years ago
- The Aldor Programming Language☆34Updated 2 months ago
- Semantic Version Control mk II.☆37Updated 5 years ago
- Accepted papers for Haskell 2014☆52Updated 8 years ago
- Alice ML implementation☆17Updated 2 years ago