Main repo of the ShiftSpace 1.0 project
☆61Apr 18, 2011Updated 15 years ago
Alternatives and similar repositories for shiftspace
Users that are interested in shiftspace are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 5 years ago
- A collection of .bashrc stuff and other dotfiles☆20Apr 19, 2026Updated last month
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- Implement a Helm chart repository with GitHub pages☆19Aug 7, 2018Updated 7 years ago
- System wide Rake.☆76Jul 23, 2008Updated 17 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A lecture I gave at PyData NYC 2012 on using the networkx python library and Gephi to generate a mapping of the python community on Twitt…☆28Dec 6, 2012Updated 13 years ago
- Definitions of Pardon jargon to help Python beginners understand Pythonista gobbletigook☆12Aug 3, 2015Updated 10 years ago
- EigenTrust implementation in Go☆10Aug 31, 2025Updated 8 months ago
- Magical blueprints for procedural generation of content. Based roughly on https://web.archive.org/web/20111103134115/https://www.squidi.…☆18Nov 6, 2025Updated 6 months ago
- ☆19Jun 3, 2020Updated 5 years ago
- An extension of emms-player-simple.el for mpv JSON IPC☆19Mar 18, 2018Updated 8 years ago
- Sample site for the Rib static site generator☆24Mar 29, 2021Updated 5 years ago
- CKAN Issues Extension☆14Sep 16, 2021Updated 4 years ago
- ☆10Dec 10, 2024Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An XMPP-based group chat server.☆131Jan 11, 2014Updated 12 years ago
- a reporter for node-tap☆13Oct 25, 2025Updated 7 months ago
- Notes for my Calculus courses in college, written in Jupyter Notebooks☆12Jul 31, 2016Updated 9 years ago
- Mount all projects in a company's GitLab instance as a file system.☆16Dec 8, 2022Updated 3 years ago
- Site da RubyConf Brasil 2011☆31Nov 16, 2011Updated 14 years ago
- A dynamic exploration of a fascinating algorithm☆20Jun 15, 2015Updated 10 years ago
- QEMU MSP430 Target (Fork of QEMU)☆14Jul 30, 2016Updated 9 years ago
- Anytime Golf and the Bork 3D Game Engine☆15Apr 30, 2026Updated 3 weeks ago
- Knockout Competition Stats Collector☆13Mar 2, 2012Updated 14 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An openAI CLI built in rust☆10Dec 28, 2022Updated 3 years ago
- ☆18Jan 20, 2020Updated 6 years ago
- ☆20Jul 12, 2023Updated 2 years ago
- A suite of free mesh tools for Blender☆19Sep 30, 2020Updated 5 years ago
- A Python-Powered Static Site Generator☆27Jun 4, 2016Updated 9 years ago
- ☆20Sep 2, 2020Updated 5 years ago
- A guide to migrate from CoffeeScript to ES6 / ES7 / ES2015☆13Mar 26, 2015Updated 11 years ago
- You want to downloads more than 400 ebooks for free in PDF format.☆12May 2, 2020Updated 6 years ago
- JavaScript Speech Recognition Engine based on PocketSphinx 0.7☆19Aug 25, 2016Updated 9 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.
- ☆11Mar 12, 2018Updated 8 years ago
- Give claude a voice with a real time text to speech proxy☆24Feb 8, 2026Updated 3 months ago
- A javascript tool to visualize the diff's in wikipedia☆36Mar 16, 2026Updated 2 months ago
- Schematics for BananaPi -BPI Products☆15Jul 20, 2015Updated 10 years ago
- Adds support for clean urls to DocPad☆21Jan 8, 2024Updated 2 years ago
- Rails plugin that adds support for lazy-loading columns in Active Record models☆41Sep 3, 2015Updated 10 years ago
- Base library used by Ace/Skywriter/Cockpit/Cloud9☆19Sep 23, 2011Updated 14 years ago