MathHubInfo / Legacy-planetaryLinks
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
Sorting:
- Short introduction to topology for people who don't really care about topology☆48Updated 13 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- A syntax highlighting library in Haskell, based on Kate syntax definitions☆110Updated 7 years ago
- Source code of "How to learn Emacs" guide at https://david.rothlis.net/emacs/howtolearn.html☆43Updated 10 years ago
- Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.☆23Updated 9 years ago
- ☆50Updated 12 years ago
- A clone of Chips Challenge in Haskell☆142Updated 10 years ago
- Haskell implementation of sed☆37Updated 8 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
- Knowledge of classical mechanics, written in haskell.☆14Updated 12 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Mathematica's programming language parser written in Scala☆24Updated 10 years ago
- A copy of all materials (TEX, PDF, DOC, PNG) used in my article on TeX and professional fonts☆122Updated 13 years ago
- A Web Browser written with Haskell☆37Updated 4 years ago
- Linux and C programming in a web browser☆26Updated 8 years ago
- Accepted papers for Haskell 2014☆52Updated 9 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- A fully updated Arch Linux base image☆7Updated 9 years ago
- FLVIz - Finite Automata Simulator written in QT/Graphviz☆36Updated 9 years ago
- An almost-pure C++ library for writing functional code.☆37Updated 10 years ago
- Big O Reference of common algorithms and data structures☆50Updated 5 years ago
- process ditaa diagrams embedded in pandoc markdown☆69Updated 9 years ago
- A proof assistant.☆12Updated 9 years ago
- Adept - the predictable dependency management system☆171Updated 10 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
- Stanford CS240h Class Notes -- Functional Systems in Haskell☆27Updated 11 years ago
- ☆10Updated 2 years ago
- The 2015 ICFP Programming Contest☆7Updated 9 years ago
- an attempt to implement miniKanren and microKanren in Python☆52Updated 10 years ago
- a language-aware tool for comparing programs☆28Updated 13 years ago