A gitit theme based on Bootstrap v3
☆20Oct 18, 2016Updated 9 years ago
Alternatives and similar repositories for gitit-bootstrap
Users that are interested in gitit-bootstrap are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Handles vim-pandoc's integration with third-party plugins☆20Jun 14, 2020Updated 6 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆22Dec 20, 2021Updated 4 years ago
- Dive into the use of python gevent/gevent-socketio integration with javascript socketio☆17Feb 23, 2023Updated 3 years ago
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- 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.
- chaos and gladness jump into OpenResty ;-)☆31Jun 19, 2013Updated 13 years ago
- Tornado Oauth 2 client☆17Dec 20, 2022Updated 3 years ago
- Monokai theme for Mac applications☆15Apr 13, 2014Updated 12 years ago
- Vim and other command line tools☆13Aug 16, 2021Updated 4 years ago
- Flexible CommonMark converter☆62Jan 19, 2025Updated last year
- Small git utitlies☆46Apr 12, 2017Updated 9 years ago
- A wiki using HAppS, pandoc, and git☆2,274Jun 10, 2026Updated 2 weeks ago
- Simple single-file FUSE implementation of copy-on-write☆10Aug 14, 2014Updated 11 years ago
- ☆16Aug 1, 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 starter template & server setup for Tornado, Nginx & Twitter Bootstrap when creating a new project.☆29Nov 6, 2013Updated 12 years ago
- Examples of distributed computation using Celery☆33Feb 19, 2012Updated 14 years ago
- 不再维护☆10May 16, 2016Updated 10 years ago
- ☆11Apr 3, 2020Updated 6 years ago
- Require WebAssembly modules using script tag☆14May 1, 2019Updated 7 years ago
- 从网络上爬出ip库的工具☆22Jan 21, 2016Updated 10 years ago
- Ethers extension for a multicall-based provider to batch calls.☆23Dec 3, 2024Updated last year
- An odbc driver for Go☆35Dec 20, 2013Updated 12 years ago
- The OpenHEXA app component☆18Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Because I've used `strftime` a million times☆27Oct 22, 2021Updated 4 years ago
- Docker Image with Openresty, redis and luarocks☆40Feb 28, 2016Updated 10 years ago
- An open source reference management tool developed in PyQt5 and Python3.☆13Feb 15, 2026Updated 4 months ago
- rust reference 中文翻译☆34Nov 4, 2020Updated 5 years ago
- Helper for Quiver. Markdown export and Alfred search.☆28Aug 19, 2025Updated 10 months ago
- Luban is an on-demand building tasks dispatcher for Go.☆28Jun 10, 2017Updated 9 years ago
- This is a variation of the k-means clustering that produces equally sized clusters.☆10Nov 28, 2015Updated 10 years ago
- (discontinued) iggy is a super happy awesome Powerline-style, Git-aware prezto theme.☆10Nov 12, 2017Updated 8 years ago
- Web-based editor for Pelican and Nikola☆36Dec 23, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- POSIX script to manage dotfiles☆13May 2, 2016Updated 10 years ago
- scrypt based password manager☆11Dec 14, 2019Updated 6 years ago
- A Pythonic GDAL wrapper☆13Oct 2, 2018Updated 7 years ago
- A Mercurial/Git based blogging engine☆33Jun 16, 2020Updated 6 years ago
- std::thread which joins on drop by default.☆20Mar 31, 2025Updated last year
- Command line editor, C api, readline replacement☆28May 31, 2026Updated 3 weeks ago
- A command line tool that uses a Boolean calculus of calendars for computing availability (currently supports Google Calendar API)☆24Nov 3, 2021Updated 4 years ago