MathHubInfo / Legacy-planetaryLinks
Legacy: Planetary System is a math-enabled Web 3.0 information portal.
☆79Updated 9 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:
- Strange Loop 2014 archives☆188Updated 11 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
- Linux and C programming in a web browser☆26Updated 9 years ago
- An interpreter for the Mistral language.☆19Updated 8 years ago
- Short introduction to topology for people who don't really care about topology☆49Updated 14 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- Haskell web site (old -- see new repo at https://github.com/haskell-infra/www.haskell.org)☆158Updated 4 years ago
- The REN human friendly data notation☆53Updated 6 years ago
- ☆50Updated 10 years ago
- World's dumbest fuzzer☆53Updated 2 years ago
- interesting solutions to project euler problems☆84Updated 10 years ago
- an attempt to implement miniKanren and microKanren in Python☆54Updated 11 years ago
- A syntax highlighting library in Haskell, based on Kate syntax definitions☆111Updated 8 years ago
- TopGit is now maintained at☆95Updated 8 years ago
- Vamonos: browser-based algorithm visualization☆137Updated last year
- Riemann Hypothesis book☆74Updated 8 years ago
- A reimplementation of gitit in Yesod☆97Updated 7 years ago
- Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.☆23Updated 10 years ago
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago
- Haskell implementation of sed☆37Updated 8 years ago
- count number of legal positions in the game of go☆103Updated last year
- Life like molecular computers with artificial chemistry.☆139Updated 3 years ago
- A new language for the web☆382Updated last year
- Fast interpreter with macros, local type inference, LLVM backend.☆164Updated 7 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- git-annex repo of papers☆14Updated 9 years ago
- CiteSeerX public repository☆135Updated last year
- Parse any language you can describe in BNF☆162Updated 2 years ago
- Programming language benchmarks☆275Updated 5 years ago
- Meld virtual machine.☆28Updated 10 years ago