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 10 years ago
- An interpreter for the Mistral language.☆19Updated 8 years ago
- 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
- World's dumbest fuzzer☆52Updated last year
- an attempt to implement miniKanren and microKanren in Python☆53Updated 11 years ago
- A Haskell-powered modernization of Counterexamples in Topology☆39Updated 9 years ago
- Riemann Hypothesis book☆75Updated 7 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☆49Updated 14 years ago
- A reimplementation of gitit in Yesod☆95Updated 7 years ago
- A syntax highlighting library in Haskell, based on Kate syntax definitions☆110Updated 7 years ago
- ☆52Updated 8 years ago
- interesting solutions to project euler problems☆84Updated 9 years ago
- Moved to https://gitlab.com/graphviz/webdot☆86Updated 8 years ago
- An R5RS Scheme in JavaScript.☆17Updated 2 months ago
- Cygwin mirror. Use https://github.com/mirror/newlib-cygwin instead.☆23Updated 9 years ago
- The REN human friendly data notation☆53Updated 6 years ago
- A new language for the web☆383Updated last year
- A Web Browser written with Haskell☆37Updated 4 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago
- Reference implementation of a Tent server in Ruby☆498Updated 8 years ago
- Computer calculations made easy☆135Updated last year
- Haskell web site (old -- see new repo at https://github.com/haskell-infra/www.haskell.org)☆158Updated 3 years ago
- A compiler intermediate representation for image recognition and heterogeneous computing.☆78Updated 9 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- Benchmarks of the longest path problem in various languages☆155Updated 6 years ago
- Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite☆72Updated 3 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
- Mathematica's programming language parser written in Scala☆24Updated 11 years ago