Reference manager for Wikipedia
☆16Jan 16, 2024Updated 2 years ago
Alternatives and similar repositories for proveit
Users that are interested in proveit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Android application to solve math expressions☆24Jan 5, 2018Updated 8 years ago
- Wikimedia OTRS release generator☆13Jun 5, 2020Updated 6 years ago
- Game about dolls made for 2014 Global Game Jam NYC☆21Nov 16, 2023Updated 2 years ago
- SuggestBot is an article recommender for Wikipedia☆21Dec 29, 2024Updated last year
- DEPRECATED - Use play-services 6.x instead. Gradle plugin to strip your google play services☆112Nov 9, 2014Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Sinatra application that handles mailing list subscriptions for www.ruby-lang.org☆16Jan 1, 2024Updated 2 years ago
- Access nearly every directory from within a sandboxed application.☆23Aug 12, 2010Updated 15 years ago
- Facbook PHP SDK for laravel 4☆46Aug 15, 2017Updated 8 years ago
- Private scratchpad with public access☆23Nov 16, 2015Updated 10 years ago
- addon for google chrome to facilitate the use of utf characters☆11Apr 11, 2025Updated last year
- Triplestore wrapper for HTML5 WebStorage☆22Dec 23, 2015Updated 10 years ago
- Configuration GUI and plugin API for the Awesome window manager☆10Aug 11, 2015Updated 10 years ago
- Key-value store using iOS Reminders for persistence and distribution across iOS devices.☆12May 10, 2018Updated 8 years ago
- Tombo SP☆14Dec 3, 2019Updated 6 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A web app built to help bulk extract sentence cards from text and import it into Anki using the Anki Connect API☆12Jan 6, 2023Updated 3 years ago
- A sample application to demo the Iconfinder API☆11Aug 7, 2020Updated 5 years ago
- Customized UIActionSheet☆80Jan 30, 2026Updated 5 months ago
- Hack to display CSS rule line number in Safari/Webkit/Chrome Web Inspector☆26Mar 17, 2010Updated 16 years ago
- OCLC Mobile Authentication Android App Example☆15Mar 1, 2014Updated 12 years ago
- A clean and simple iOS client for GitHub's Gist☆25Feb 10, 2016Updated 10 years ago
- The website of the book.☆25Oct 6, 2024Updated last year
- Experimental fork of Pieter's nice git GUI for OS X. Includes: sidebar, fetch, pull, push, add remote, merge, cherry-pick, rebase, clone,…☆13Dec 4, 2011Updated 14 years ago
- Mine from pdfs created with Mokuro2Pdf☆10Dec 13, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A static-site generator for Accelerated Mobile Pages powered by Webpack☆31Oct 12, 2015Updated 10 years ago
- An example application demonstrating real-time use of the blend effect provided by the Imaging SDK, the effect being applied to a stream …☆24Apr 29, 2015Updated 11 years ago
- django-irc-logs.com is logging messages from the #django IRC channel.☆16Feb 12, 2019Updated 7 years ago
- IntraACL extension☆20Jun 11, 2020Updated 6 years ago
- PEP8 Squad, for enforcing foolish consistency☆10Apr 10, 2015Updated 11 years ago
- Fastwiki renamed to XYZ reader☆21Apr 12, 2018Updated 8 years ago
- ☆34May 21, 2018Updated 8 years ago
- An obsolete alpha for TiddlyWiki5☆25Feb 6, 2012Updated 14 years ago
- Code behind areweslimyet.com☆31Feb 14, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Repository for the legacy XTools. See https://github.com/x-tools/xtools for the rewrite☆42Jul 8, 2017Updated 8 years ago
- An Anki add-on to convert user highlighted words to Anki decks containing cards of sentences and their associated highlighted words☆17Aug 1, 2021Updated 4 years ago
- ECDSA-CHALLENGE keypair manipulation tools and library☆14Oct 4, 2016Updated 9 years ago
- Gmail Greasemonkey Scripts☆34Jul 26, 2014Updated 11 years ago
- Small webpage for finding the odd unicode char code.☆18Dec 12, 2020Updated 5 years ago
- A handler for calling Datamuse RESTful API.☆16Feb 22, 2015Updated 11 years ago
- RippleBoard is here☆13Aug 6, 2016Updated 9 years ago