List of Mastodon users that toot about programming and IT.
☆25Feb 14, 2026Updated 8 months ago
Alternatives and similar repositories for mastodon-it-lists
Users that are interested in mastodon-it-lists are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 2 months ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- ☆15Dec 12, 2024Updated last year
- ☆56Oct 16, 2024Updated 2 years ago
- ☆16Updated this week
- 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.
- MiniSat reimplemented in Rust☆21Apr 18, 2018Updated 8 years ago
- Unmarshal and Marshal generators for Go.☆13Feb 20, 2023Updated 3 years ago
- Assure that your tests are there, and well written.☆16Jan 19, 2023Updated 3 years ago
- 🗑️ rm alternative written in Go.☆13Updated this week
- The Big Book of Rust Interop☆20Jun 26, 2023Updated 3 years ago
- Safely transmute type to itself in generic context in Rust☆15Jan 15, 2023Updated 3 years ago
- git supported code archive and reference for org-mode☆16Jul 11, 2021Updated 5 years ago
- 浅井健一『プログラミングの基礎』でプログラミングやOCamlを学ぶ。☆16May 19, 2018Updated 8 years ago
- Generic Range iterators for Rust☆29Jul 7, 2026Updated 3 months 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.
- [WIP] A pure-Zig TLS 1.3 client implementation.☆14Nov 2, 2022Updated 3 years ago
- My GitHub profile page☆14Dec 26, 2025Updated 9 months ago
- Emacs package to make exporting org-mode files to gitbook easier☆11Jun 7, 2017Updated 9 years ago
- Simple ⏱Time-based 🔑OTP Client☆13Dec 23, 2025Updated 9 months ago
- E2WM superpack☆15Nov 10, 2022Updated 3 years ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆28Oct 13, 2025Updated last year
- Windows IME patches for Emacs in the MSYS2 environment☆10Apr 17, 2025Updated last year
- Emacs Lisp and YASnippet support for Atom and GitHub.☆15Sep 21, 2026Updated 3 weeks ago
- Emacs style keyboard macros implemented in Python☆21Mar 17, 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.
- morrigan - Penetration Tool Set☆15May 28, 2025Updated last year
- A Rust crate for generating ULIDs.☆12Oct 11, 2026Updated last week
- A clock widget for statusline with sky color at the time☆18Nov 3, 2018Updated 7 years ago
- A Go wrapper for Twitter's V2 Filtered Stream API☆31Nov 5, 2022Updated 3 years ago
- A terminal application for managing packages across different package managers.☆13Feb 9, 2026Updated 8 months ago
- ☆14Oct 26, 2023Updated 2 years ago
- ☆17Jul 15, 2021Updated 5 years ago
- Easily build SQL queries in Go.☆98Apr 24, 2024Updated 2 years ago
- Fallible allocation support for Rust's Vec☆30Jun 11, 2026Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A html slidy export mode for org-mode☆15Mar 13, 2014Updated 12 years ago
- An Ivy command which lets you visit Org buffers, files, bookmarks, and agenda commands☆19Sep 17, 2024Updated 2 years ago
- trv is a remote viewer for tbls. This command is used to view tbls information stored in github, e.g. in a terminal.☆13Apr 27, 2024Updated 2 years ago
- 書籍「作ろう！CPU」のサンプルコード☆11Jan 23, 2021Updated 5 years ago
- Run the shell command asynchronously that you specified when you save the file.☆15Aug 17, 2018Updated 8 years ago
- GitHub extension that allows interactive selection of repositories in the organization you belong to and clones them using ghq☆11Nov 10, 2025Updated 11 months ago
- Prototype of a new web application framework based on WAI.☆13Oct 30, 2024Updated last year