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:
- Strange Loop 2014 archives☆188Updated 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 8 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- Linux and C programming in a web browser☆26Updated 8 years ago
- Short introduction to topology for people who don't really care about topology☆48Updated 14 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- An -OFun prototype of an Ultra Modern Perl 5☆279Updated 11 years ago
- count number of legal positions in the game of go☆103Updated last year
- TopGit is now maintained at☆95Updated 8 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- The slashcode repository for SoylentNews. The initial code base was uploaded as it appeared on Sourceforge as of the last commit in Septe…☆46Updated 10 years ago
- World's dumbest fuzzer☆52Updated last year
- CiteSeerX public repository☆133Updated last year
- Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.☆23Updated 9 years ago
- A syntax highlighting library in Haskell, based on Kate syntax definitions☆110Updated 7 years ago
- This a Prolog syntax highlighting for Sublime Text 2 & 3☆66Updated 5 years ago
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- An interpreter for the Mistral language.☆19Updated 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
- An R5RS Scheme in JavaScript.☆17Updated last month
- The Ohloh source code line counter☆266Updated 5 months ago
- pharo-core git mirror☆93Updated 8 years ago
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Updated 9 years ago
- The Definition of Standard ML, Revised (1997)☆115Updated 8 years ago
- Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite☆72Updated 3 years ago
- Julia Implementation of Unums☆42Updated 8 years ago
- an attempt to implement miniKanren and microKanren in Python☆53Updated 11 years ago
- Bitcloud Project☆612Updated 10 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago