MathHubInfo / Legacy-planetary
Legacy: Planetary System is a math-enabled Web 3.0 information portal.
☆79Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for Legacy-planetary
- 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 6 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 8 years ago
- Mathematica's programming language parser written in Scala☆24Updated 10 years ago
- Source code of "How to learn Emacs" guide at https://david.rothlis.net/emacs/howtolearn.html☆42Updated 10 years ago
- ☆52Updated 7 years ago
- Strange Loop 2014 archives☆188Updated 10 years ago
- Haskell implementation of sed☆37Updated 7 years ago
- The Definition of Standard ML, Revised (1997)☆113Updated 7 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- Propositional calculus in Haskell☆11Updated 8 years ago
- pharo-core git mirror☆94Updated 7 years ago
- Parse BNF and ABNF grammars and generate Perl 6 grammars from them☆16Updated 4 years ago
- Short introduction to topology for people who don't really care about topology☆47Updated 13 years ago
- Linux and C programming in a web browser☆26Updated 7 years ago
- ☆50Updated 8 years ago
- An R5RS Scheme in JavaScript.☆16Updated last year
- ☆49Updated 11 years ago
- Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.☆22Updated 8 years ago
- Steps towards a PDF renderer for cmark using libharu☆14Updated 9 years ago
- Polyglots☆82Updated 8 years ago
- A repo uploading my work on the GSoC Project of porting Guix and GuixSD to Hurd. [Out of date]☆23Updated 7 years ago
- A clone of Chips Challenge in Haskell☆142Updated 10 years ago
- TopGit is now maintained at☆95Updated 7 years ago
- GNU APL port to Android☆16Updated 10 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago