Providing an easy and usefull Command Line Interface for managing tasks locally on the fly
☆23Oct 15, 2025Updated 6 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:
- A code-completion engine with easy for Vim.☆10Jan 20, 2021Updated 5 years ago
- Self-Learning Multi-agent orchestration framework for spec-driven development and automated verification.☆104Apr 30, 2026Updated last week
- A tiny statically typed programming language☆18Jul 22, 2014Updated 11 years ago
- repl plugin for neovim built on textobjects☆13Feb 1, 2023Updated 3 years ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 5 months ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- stream editor with sam structural regular expressions☆11Aug 23, 2022Updated 3 years ago
- Keyboard oriented Acme style editing for Neovim☆11Dec 8, 2021Updated 4 years ago
- Events, behaviors, and uneventful misbehaving☆17Apr 13, 2026Updated 3 weeks ago
- ☆17Apr 4, 2024Updated 2 years ago
- Category theory concepts in type classes and instances.☆23Mar 13, 2026Updated last month
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 4 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.
- ☆13Jul 25, 2023Updated 2 years ago
- minimal mass file renamer☆12Jan 26, 2022Updated 4 years ago
- contributions to Giac computer algebra system☆14Apr 1, 2023Updated 3 years ago
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- A teminal othello (reversi) in Nim.☆11May 2, 2021Updated 5 years ago
- A type theory for tiny objects☆19Mar 6, 2026Updated 2 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- Traditional roguelike game with pixel-art graphics and simple interface☆13Jul 1, 2021Updated 4 years ago
- Request For Comment (RFC) repo for Nu☆12Sep 29, 2023Updated 2 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.
- 2d collision test for game-development in rust☆23Dec 2, 2025Updated 5 months ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- Simple operating system for QEMU's virt board.☆11Aug 25, 2021Updated 4 years ago
- Collection of diagrams from articles☆29Feb 17, 2025Updated last year
- Automatic type class law checking.☆24May 2, 2026Updated last week
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Apr 1, 2026Updated last month
- ☆16Jul 7, 2024Updated last year
- Personal research notes☆18Oct 18, 2024Updated last year
- ☆24Updated this week
- 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.
- 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 3 years ago
- Haskell port of the Nanopass Compiler Framework☆23Dec 23, 2025Updated 4 months ago
- Nim Semi-Auto Bug Report Tool☆10Jun 18, 2020Updated 5 years ago
- Fork of https://github.com/mcchrish/nnn.vim modified to work with xplr. Until xplr has its own plugin.☆20Nov 3, 2022Updated 3 years ago
- A collection of Python practice problems☆22Dec 3, 2023Updated 2 years ago
- spartan:// protocol specification☆29Aug 9, 2022Updated 3 years ago
- Stuff for #anime on freenode☆11Dec 29, 2021Updated 4 years ago