Legacy: Planetary System is a math-enabled Web 3.0 information portal.
☆79Sep 6, 2016Updated 10 years ago
Alternatives and similar repositories for Legacy-planetary
Users that are interested in Legacy-planetary are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Open in Browser Firefox add-on☆32Dec 24, 2017Updated 8 years ago
- ☆19May 24, 2017Updated 9 years ago
- A demo of Github email search☆17Dec 28, 2015Updated 10 years ago
- Thread safe gcc function entry/exit tracer and call graph generator☆14Dec 22, 2015Updated 10 years ago
- Responsive Open Learning Environment☆20Feb 10, 2010Updated 16 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A proof of concept for a research compendia webapp☆27Jun 20, 2014Updated 12 years ago
- itsy-bitsy OpenGL and GLSL example☆49Nov 27, 2018Updated 7 years ago
- Emacs Plugin for Tandem☆13Mar 17, 2018Updated 8 years ago
- Extending Scala with Oz Concurrency☆82Oct 10, 2021Updated 4 years ago
- Python Meta Programming☆16Dec 16, 2018Updated 7 years ago
- Docker image autobuild for latests snapcraft on latest ubuntu LTS version☆12Jun 17, 2016Updated 10 years ago
- A DFA based UTF-8 decoder☆16Jan 1, 2014Updated 12 years ago
- Github Pages (styled with Firn) for Peeragogy.org☆31Sep 3, 2024Updated 2 years ago
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Haskell-powered modernization of Counterexamples in Topology☆39Aug 1, 2016Updated 10 years ago
- Read-only primitive Java arrays backed by Direct Buffers and indexed using 64-bit indexes☆14Jun 8, 2017Updated 9 years ago
- bucket3 is a simple, blog aware, static site generator written in python.☆27Oct 26, 2025Updated 10 months ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆59Sep 10, 2014Updated 11 years ago
- Short introduction to topology for people who don't really care about topology☆49Jun 30, 2011Updated 15 years ago
- Bindings for the NaCL implementation of Salsa20 and XSalsa20 by D. J. Bernstein☆32Jan 17, 2020Updated 6 years ago
- cook and ginsu for making and dicing tiddlywiki classic☆16Aug 6, 2015Updated 11 years ago
- A Java version of LLVM Core by Hao Liu☆23Jan 31, 2013Updated 13 years ago
- cobudget's user interface☆26Mar 9, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- collection of example documents for use within cocalc's library☆17Sep 11, 2025Updated 11 months ago
- A Pandoc filter for emphasizing code in fenced blocks☆29Jul 8, 2023Updated 3 years ago
- This shows a simple ARM bare-metal software implementation for gem5☆20Sep 26, 2021Updated 4 years ago
- An entire web server written in Lua.☆16Mar 23, 2017Updated 9 years ago
- PWABuilder Windows 10 Platform☆17Jul 16, 2021Updated 5 years ago
- Test model for subsurface scattering☆10Aug 26, 2015Updated 11 years ago
- Sample UI.Next todo list from the websharper.com home page☆10May 22, 2015Updated 11 years ago
- Experiments on bit-slice indexing☆13Feb 9, 2015Updated 11 years ago
- Wikipedia Infobox -> Elisp☆14Jan 1, 2026Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- MCD Support Plugin for Anki☆20Jan 3, 2024Updated 2 years ago
- Orto JVM in Javascript (see http://ejohn.org/blog/running-java-in-javascript/)☆35Nov 11, 2011Updated 14 years ago
- GRAnd: Extra blocks, IO, and tools for GNU Radio on Android☆10Aug 27, 2015Updated 11 years ago
- Python package to convert LaTeX markup to DOM☆16Jul 13, 2026Updated last month
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Backbone wrapper for the Gitlab API☆28Mar 3, 2026Updated 6 months ago
- A Clojure wrapper around a Java implementation of Word2Vec.☆27Dec 4, 2017Updated 8 years ago