Providing an easy and usefull Command Line Interface for managing tasks locally on the fly
☆23Oct 15, 2025Updated 7 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:
- 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
- ☆14Nov 4, 2025Updated 6 months ago
- A Text-Based Game Engine Made for Python☆15Aug 30, 2023Updated 2 years ago
- ☆17Apr 4, 2024Updated 2 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.
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆15Mar 17, 2026Updated 2 months ago
- toy implementation of Hindley-Milner type system that prints out inference steps☆17Oct 26, 2025Updated 7 months ago
- minimal mass file renamer☆12Jan 26, 2022Updated 4 years ago
- Preview Jupyter notebooks directly in your terminal. Think of it as cat, but for .ipynb files.☆38Jun 4, 2025Updated 11 months ago
- contributions to Giac computer algebra system☆14Apr 1, 2023Updated 3 years ago
- Soho vibes for foot☆17Mar 9, 2026Updated 2 months ago
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 💡 HomeTray is a small tool which lets you control your Home Assistant lights directly from your System Tray.☆21Apr 14, 2023Updated 3 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- Track SVG Splash feature requests and discussions☆13Apr 23, 2020Updated 6 years ago
- Simple operating system for QEMU's virt board.☆11Aug 25, 2021Updated 4 years ago
- Automatic type class law checking.☆24May 2, 2026Updated 3 weeks ago
- 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☆19Oct 18, 2024Updated last year
- ☆24May 6, 2026Updated 3 weeks 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.
- 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
- Acme style editing plugin for micro editor☆26Jun 27, 2024Updated last year
- spartan:// protocol specification☆29Aug 9, 2022Updated 3 years ago
- Stuff for #anime on freenode☆11Dec 29, 2021Updated 4 years ago
- Soothing pastel theme for Nim☆13Apr 13, 2026Updated last month
- Small powerful micro scripting language <1K SLOC☆64Oct 5, 2025Updated 7 months ago
- An extension for VS Code which provides support for the Nim language. Originally mirrored from pragmagic/vscode-nim☆12Jan 7, 2023Updated 3 years ago
- Advanced wallpaper plugin for Wayfire | now on https://codeberg.org/valpackett/wf-wallpaper☆13Oct 3, 2022Updated 3 years ago
- A tiny isomorphic fast function for generating a cryptographically random hex string.☆15Jan 13, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Mar 6, 2023Updated 3 years ago
- A Hubot adapter for Keybase bot development☆11Mar 26, 2024Updated 2 years ago
- A demo of Google's latest vision based AI model, gemini-pro-vision.☆12Feb 7, 2025Updated last year
- ☆12Apr 24, 2026Updated last month
- A package manager.☆18Jun 30, 2021Updated 4 years ago
- A hubot adapter event listener that sits inbetween hubot and the desired hubot adapter.☆12Nov 29, 2016Updated 9 years ago
- Eventually a practical 2-level TT-based compiler☆35Apr 17, 2026Updated last month