Legacy: Planetary System is a math-enabled Web 3.0 information portal.
☆79Sep 6, 2016Updated 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- tools for common-logic☆22Mar 5, 2013Updated 13 years ago
- ARCHIVED Programmatic interface to the Berkeley Ecoinformatics Engine☆18Sep 22, 2022Updated 3 years ago
- A series of questions and guidelines to reach peace with any situation.☆20May 24, 2012Updated 14 years ago
- Port of Basho's webmachine in scala, A REST-based system for building web applications☆34Dec 20, 2009Updated 16 years ago
- NVIDIA GPU Computing SDK 4.2.9. Fixing some stupid compilation bugs in the make files of the projects.☆18Jul 3, 2012Updated 13 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- SAX parser for JSon and YAML (alpha)☆23Oct 24, 2016Updated 9 years ago
- Docker image autobuild for latests snapcraft on latest ubuntu LTS version☆11Jun 17, 2016Updated 9 years ago
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- An R5RS Scheme in JavaScript.☆17Feb 7, 2026Updated 3 months ago
- Render LaTeX math to SVG mages☆18Mar 25, 2024Updated 2 years ago
- JEP with off heap support to replace portions of Unsafe and other sun.* methods.☆43Mar 12, 2014Updated 12 years ago
- gnuradio☆26Nov 29, 2019Updated 6 years ago
- PWABuilder Windows 10 Platform☆16Jul 16, 2021Updated 4 years ago
- DuckDuckGo translation library☆21Jan 8, 2019Updated 7 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.
- GNU Radio FM Receiver App for Android☆11Apr 22, 2016Updated 10 years ago
- Sample UI.Next todo list from the websharper.com home page☆10May 22, 2015Updated 11 years ago
- GRAnd: Extra blocks, IO, and tools for GNU Radio on Android☆10Aug 27, 2015Updated 10 years ago
- Learn pure math with agda☆16Oct 18, 2025Updated 7 months ago
- Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.☆12May 11, 2026Updated 2 weeks ago
- Visual SH, GRAph SH - simple visual (diagrammatic) shell☆29May 3, 2023Updated 3 years ago
- Themes for AsciiDoc and a framework for assembling them ...☆23Jan 29, 2013Updated 13 years ago
- Look at https://kushaldas.in for the result☆12Sep 10, 2022Updated 3 years ago
- btproof.com - trusted digital timestamping on the bitcoin blockchain☆65Mar 19, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- RFC's used by OpenHFT☆23Jul 15, 2020Updated 5 years ago
- OpenRISC Conference Website☆15Aug 15, 2024Updated last year
- Le-Lisp by INRIA☆36Jan 11, 2023Updated 3 years ago
- Unlikely Scheme: A small Scheme interpreter☆22May 28, 2011Updated 15 years ago
- J for Android☆39May 19, 2026Updated last week
- colibri.js sample application☆17Oct 9, 2016Updated 9 years ago
- Examples are in the examples directory!☆10Feb 11, 2020Updated 6 years ago
- Chat bot relaying messages between IRC and Gitter☆16Oct 16, 2022Updated 3 years ago
- Yocto BSP layer for Gumstix products.☆17Feb 15, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Secure decentralized hierarchical coordination platform☆23Nov 19, 2022Updated 3 years ago
- Examples☆12Feb 18, 2014Updated 12 years ago
- Emacs X Input Method☆14Feb 6, 2019Updated 7 years ago
- Das U-Boot Bootloader☆10Dec 7, 2016Updated 9 years ago
- SML, The Living Language (aka, Successor ML)☆72Apr 4, 2016Updated 10 years ago
- A free, ~400-page living book covering algorithms and data structures from first principles to advanced topics - with idiomatic TypeScrip…☆65May 17, 2026Updated last week
- Projects for the Scarab Minispartan6+ FPGA board☆14Jun 20, 2015Updated 10 years ago