Providing an easy and usefull Command Line Interface for managing tasks locally on the fly
☆24Jun 20, 2026Updated 3 months ago
Alternatives and similar repositories for CLI-Manager
Users that are interested in CLI-Manager 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 implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 5 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 10 months ago
- stream editor with sam structural regular expressions☆11Aug 23, 2022Updated 4 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- ☆15Sep 18, 2026Updated 3 weeks 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 sharable language☆16Jan 20, 2025Updated last year
- Keyboard oriented Acme style editing for Neovim☆12Dec 8, 2021Updated 4 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 9 months ago
- Supplementary and replication materials for paper "Examining a Most Likely Case for Strong Campaign Effects: Hitler's Speeches and the Ri…☆15Jun 6, 2018Updated 8 years ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆16Mar 17, 2026Updated 6 months ago
- ZMK firmware for Urchin and Corne 36 keyboard with nice!nano and nice!view☆18Jan 16, 2026Updated 8 months ago
- Notes written while consulting for the Higher Order Company☆17Sep 27, 2025Updated last year
- toy implementation of Hindley-Milner type system that prints out inference steps☆18Oct 26, 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.
- Compiler for the fort programming language☆14Jun 30, 2025Updated last year
- Soho vibes for foot☆17Mar 9, 2026Updated 7 months ago
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 6 years ago
- A teminal othello (reversi) in Nim.☆10May 2, 2021Updated 5 years ago
- simple virtual midi keyboard☆18Jun 5, 2025Updated last year
- A type theory for tiny objects☆20Mar 6, 2026Updated 7 months ago
- Traditional roguelike game with pixel-art graphics and simple interface☆13Jul 1, 2021Updated 5 years ago
- Track SVG Splash feature requests and discussions☆13Apr 23, 2020Updated 6 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆23Jan 30, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Simple operating system for QEMU's virt board.☆11Aug 25, 2021Updated 5 years ago
- docker-microtsocks☆11Sep 7, 2023Updated 3 years ago
- 💡 HomeTray is a small tool which lets you control your Home Assistant lights directly from your System Tray.☆22Apr 14, 2023Updated 3 years ago
- GSettings plugin for Wayfire | now on https://codeberg.org/valpackett/wf-gsettings☆13Oct 3, 2022Updated 4 years ago
- email下载器，将邮件以eml文件格式备份到本地☆10Jul 23, 2019Updated 7 years ago
- Personal research notes☆19Oct 18, 2024Updated last year
- Excellent user-scripts made with my thorough w3schools knowledge and great 1 week experience of JavaScript. Not a single line of code was…☆13Aug 9, 2022Updated 4 years ago
- ☆24Aug 14, 2026Updated last month
- Android app for browsing and downloading content from Nhentai.net - currently in development☆12Aug 11, 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.
- Nim Semi-Auto Bug Report Tool☆10Jun 18, 2020Updated 6 years ago
- ☆15Dec 8, 2022Updated 3 years ago
- Library for parsing Lightning Network BOLT11 payment requests and encoding invoices into requests☆15Updated this week
- First Person Shooter in gawk☆65Mar 2, 2021Updated 5 years ago
- Fork of https://github.com/mcchrish/nnn.vim modified to work with xplr. Until xplr has its own plugin.☆19Nov 3, 2022Updated 3 years ago
- Acme style editing plugin for micro editor☆26Jun 27, 2024Updated 2 years ago
- Satisfy all your REST API testing needs.☆10Oct 17, 2022Updated 3 years ago