List of Mastodon users that toot about programming and IT.
☆24Feb 14, 2026Updated 3 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:
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…☆13May 23, 2018Updated 8 years ago
- ☆17Mar 30, 2026Updated last month
- Assure that your tests are there, and well written.☆16Jan 19, 2023Updated 3 years ago
- 🗑️ rm alternative written in Go.☆13May 14, 2026Updated 2 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The Big Book of Rust Interop☆20Jun 26, 2023Updated 2 years ago
- 浅井健一『プログラミングの基礎』でプログラミングやOCamlを学ぶ。☆15May 19, 2018Updated 8 years ago
- Embeddable ED in rust☆20Jan 17, 2026Updated 4 months ago
- ☆12Jul 28, 2022Updated 3 years ago
- git supported code archive and reference for org-mode☆16Jul 11, 2021Updated 4 years ago
- NixOS deployments of DD-IX☆35May 19, 2026Updated last week
- [WIP] A pure-Zig TLS 1.3 client implementation.☆14Nov 2, 2022Updated 3 years ago
- 🌲 Visualize GitHub Actions workflow dependencies as a tree structure.☆17May 20, 2026Updated last week
- My GitHub profile page☆14Dec 26, 2025Updated 5 months 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 YAML based golang reverse proxy☆10Apr 19, 2025Updated last year
- Live preview by any shell command while editing☆15Dec 15, 2023Updated 2 years ago
- ~/.emacs.d/☆17Jun 13, 2025Updated 11 months ago
- Proc macro derive to generate structs from enum variants.☆31Mar 2, 2026Updated 2 months ago
- ☆14Feb 15, 2023Updated 3 years ago
- Emacs style keyboard macros implemented in Python☆20Mar 17, 2015Updated 11 years ago
- morrigan - Penetration Tool Set☆15May 28, 2025Updated last year
- Windows IME patches for Emacs in the MSYS2 environment☆10Apr 17, 2025Updated last year
- Brunch is a very simple Rust micro-benchmark runner.☆30Jan 23, 2026Updated 4 months 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 Go module to easily build URL string with concise syntax☆11Oct 26, 2023Updated 2 years ago
- A terminal ui for trello☆17Jan 10, 2020Updated 6 years ago
- A terminal application for managing packages across different package managers.☆13Feb 9, 2026Updated 3 months ago
- ☆14Oct 26, 2023Updated 2 years ago
- TUI Color picking tool☆18Aug 29, 2025Updated 9 months ago
- A Rust crate for generating ULIDs.☆12Feb 8, 2026Updated 3 months ago
- Share links to Emacs initialization files with minimal effort!☆17Dec 14, 2018Updated 7 years ago
- view the user-created issues, pull requests, and repositories in the terminal 🧑💻☆17Dec 16, 2024Updated last year
- XCTest-watchOS provides an implementation of XCTest that can run on watchOS☆19Apr 14, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Fallible allocation support for Rust's Vec☆30May 14, 2024Updated 2 years ago
- ☆33Sep 11, 2025Updated 8 months ago
- Simple ⏱Time-based 🔑OTP Client☆13Dec 23, 2025Updated 5 months ago
- A Haskell library to mock the current time. ⏰☆19May 1, 2018Updated 8 years ago
- Prototype of a new web application framework based on WAI.☆12Oct 30, 2024Updated last year
- GitHub extension that allows interactive selection of repositories in the organization you belong to and clones them using ghq☆11Nov 10, 2025Updated 6 months ago
- ☆12May 5, 2026Updated 3 weeks ago