Blog your little ❤️ out using GitHub Gists.
☆12Dec 7, 2021Updated 4 years ago
Alternatives and similar repositories for gistblog
Users that are interested in gistblog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experiments on implementing Dependent Pattern Matching under Normalization by Evaluation setup.☆15Oct 3, 2026Updated 3 weeks ago
- Lean library for typed metaprogramming based on staging, with support for dependent types and reasoning about metaprograms.☆16Sep 25, 2026Updated last month
- A functional language with dependent types and customisable type representations☆13Jul 15, 2025Updated last year
- A functional programming language which does not require the heap at run-time.☆17Jun 18, 2026Updated 4 months ago
- Wireless DAW Controller using Arduino and Bluetooth☆13Feb 19, 2015Updated 11 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.
- \tweaks for things/☆17Oct 14, 2026Updated last week
- Blue Book is an application that generates multiple-choice preparation questions for IT certifications, or any other exams. You can attac…☆14Feb 12, 2026Updated 8 months ago
- ☆25Jul 12, 2026Updated 3 months ago
- Personal site 🌱☆14Jun 21, 2026Updated 4 months ago
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- ☆10Apr 15, 2023Updated 3 years ago
- A data-oriented proof assistant☆36Updated this week
- ☆22Sep 1, 2026Updated last month
- My MacOS/Linux dotfiles and various utility shell scripts.☆16Sep 3, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Move your Medium posts to a Jekyll blog and keep them in sync in the future.☆12Jan 19, 2025Updated last year
- A type theory for tiny objects☆20Mar 6, 2026Updated 7 months ago
- Hybrid Git Sync plugin☆21Oct 6, 2026Updated 2 weeks ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆23Jan 30, 2024Updated 2 years ago
- Allows the creation of recurring tasks in Notion.☆22Jan 20, 2022Updated 4 years ago
- ☆23May 19, 2016Updated 10 years ago
- ❄️ Material 3-inspired Lume Blog Theme. [WIP]☆15Oct 21, 2024Updated 2 years ago
- A repo to test and experiment with plugins for Lume☆19Aug 6, 2026Updated 2 months ago
- A Game Boy Advance emulator.☆12Jun 16, 2024Updated 2 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.
- Use a Raspberry Pi and audio shield to connect musicians, or poets, together from distance locations.☆12Dec 11, 2022Updated 3 years ago
- Simple tooltip using an html attribute for the content☆12Nov 11, 2014Updated 11 years ago
- Filter out vocal from audio, in real time. Demonstrating the use of HTML5 Web Audio API.☆14Jul 15, 2017Updated 9 years ago
- AAME Micro FPV Racer☆13Jun 8, 2024Updated 2 years ago
- ☆12Jul 31, 2023Updated 3 years ago
- Short reference and introduction to markdown. Taken and expanded from https://github.com/adam-p/markdown-here/wiki/Markdown-Cheatsheet☆11May 29, 2014Updated 12 years ago
- Plugin for EPUB ebooks' edition☆13Dec 9, 2015Updated 10 years ago
- ☆16Dec 3, 2025Updated 10 months ago
- Federated Wiki Server as a Ruby Gem☆13Aug 27, 2014Updated 12 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.
- K/DE Cyberpunk Neon Themes for KDE Plasma.☆11Jan 27, 2019Updated 7 years ago
- The Hash programming language compiler☆28Jul 12, 2026Updated 3 months ago
- displays anime wallpapers from r/animewallpaper on your new tab page☆23Jun 13, 2026Updated 4 months ago
- config files for zsh, vim, tmux, paru, etc., managed by chezmoi.☆11Aug 26, 2026Updated last month
- Standardly allows you to check for compliance against standards. Once you code your standards into a 'rules' json object, you can scan a …☆13Jan 27, 2026Updated 8 months ago
- A TUI hex editor☆13Oct 28, 2025Updated 11 months ago
- A simple static password generator for rust☆14Sep 20, 2026Updated last month