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
- World's dumbest fuzzer☆52Updated last year
- 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
- count number of legal positions in the game of go☆104Updated last year
- Linux and C programming in a web browser☆26Updated 8 years ago
- An interpreter for the Mistral language.☆19Updated 8 years ago
- Reference implementation of a Tent server in Ruby☆497Updated 9 years ago
- The REN human friendly data notation☆53Updated 6 years ago
- TopGit is now maintained at☆95Updated 8 years ago
- An R5RS Scheme in JavaScript.☆17Updated 4 months ago
- Bitcloud Project☆611Updated 10 years ago
- Moved to https://gitlab.com/graphviz/webdot☆86Updated 8 years ago
- an attempt to implement miniKanren and microKanren in Python☆54Updated 11 years ago
- Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite☆72Updated 4 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- Git-backed real time collaborative editor built with meteor.☆208Updated 11 years ago
- ☆50Updated 9 years ago
- A Coding Social Experiment☆246Updated 2 years ago
- Github mirror of MediaWiki extension Math - our actual code is hosted with Gerrit (please see https://www.mediawiki.org/wiki/Developer_ac…☆25Updated this week
- Maxima, the descendant of Macsyma computer algebra system (CAS), ported to Android☆45Updated 8 years ago
- AI course project template, inspired by Terry Winograd's classic Shrdlu system☆40Updated 7 years ago
- A repo uploading my work on the GSoC Project of porting Guix and GuixSD to Hurd. [Out of date]☆23Updated 8 years ago
- My implementations of deterministic and non-deterministic turing machines☆71Updated 2 years ago
- Benchmarks of the longest path problem in various languages☆155Updated 6 years ago
- Static blog generater, server and writer. Write markdown with latex in desktop/mobile browsers.☆54Updated 11 years ago
- Sample UI.Next todo list from the websharper.com home page☆10Updated 10 years ago
- ☆19Updated 7 years ago
- Collection of binary heap sort implementation for many languages, primary to compare performance between languages☆41Updated 2 years ago
- A now defunct Firefox add-on that enabled whitelisting for Remote XUL domains.☆19Updated 5 years ago