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:
- Elaboration of cumulative universe hierarchies☆13Updated this week
- Generate good induction principles on nested inductive types☆17Jul 31, 2026Updated 3 months ago
- A functional language with dependent types and customisable type representations☆13Jul 15, 2025Updated last year
- Experiments on implementing Dependent Pattern Matching under Normalization by Evaluation setup.☆15Oct 31, 2026Updated 2 weeks ago
- A functional programming language which does not require the heap at run-time.☆17Jun 18, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Blue Book is an application that generates multiple-choice preparation questions for IT certifications, or any other exams. You can attac…☆14Feb 12, 2026Updated 9 months ago
- Personal site 🌱☆14Jun 21, 2026Updated 4 months ago
- SDDM theme with video background for KDE NEON / Plasma 6☆13Dec 17, 2025Updated 10 months ago
- Lean library for typed metaprogramming based on staging, with support for dependent types and reasoning about metaprograms.☆18Sep 25, 2026Updated last month
- Hacking synthetic Tait computability into Agda. Example: canonicity for MLTT.☆20Feb 26, 2021Updated 5 years ago
- ☆22Sep 1, 2026Updated 2 months ago
- ☆10Apr 15, 2023Updated 3 years ago
- Move your Medium posts to a Jekyll blog and keep them in sync in the future.☆12Jan 19, 2025Updated last year
- ☆12Nov 18, 2021Updated 4 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.
- A type theory for tiny objects☆20Mar 6, 2026Updated 8 months ago
- \tweaks for things/☆16Oct 14, 2026Updated last month
- 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
- An outline editor for OPML, RSS, XML, HTML and PLIST files. OSX 10.9 and up.☆13Apr 23, 2026Updated 6 months ago
- ☆23May 19, 2016Updated 10 years ago
- ❄️ Material 3-inspired Lume Blog Theme. [WIP]☆15Oct 21, 2024Updated 2 years ago
- A Game Boy Advance emulator.☆13Jun 16, 2024Updated 2 years ago
- Wireless DAW Controller using Arduino and Bluetooth☆13Feb 19, 2015Updated 11 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.
- Never leave home without them☆10Feb 20, 2016Updated 10 years ago
- Use a Raspberry Pi and audio shield to connect musicians, or poets, together from distance locations.☆12Dec 11, 2022Updated 3 years ago
- My MacOS/Linux dotfiles and various utility shell scripts.☆16Sep 3, 2026Updated 2 months ago
- Simple tooltip using an html attribute for the content☆12Nov 11, 2014Updated 12 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
- Filter out vocal from audio, in real time. Demonstrating the use of HTML5 Web Audio API.☆14Jul 15, 2017Updated 9 years ago
- ☆12Jul 31, 2023Updated 3 years ago
- Sumo Theme for the Micro.Blog Platform☆11Sep 12, 2026Updated 2 months ago
- ☆16Dec 3, 2025Updated 11 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- K/DE Cyberpunk Neon Themes for KDE Plasma.☆11Jan 27, 2019Updated 7 years ago
- 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 9 months ago
- config files for zsh, vim, tmux, paru, etc., managed by chezmoi.☆11Oct 30, 2026Updated 2 weeks ago
- A TUI hex editor☆13Oct 28, 2025Updated last year
- This is a Google Apps Script that can change the owner permissions of all folders and files in a particular folder in Google Drive.☆11Aug 13, 2019Updated 7 years ago
- AAME Micro FPV Racer☆13Jun 8, 2024Updated 2 years ago
- ☆10Nov 14, 2025Updated last year
Are these results useful?