Providing an easy and usefull Command Line Interface for managing tasks locally on the fly
☆23Oct 15, 2025Updated 5 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
- Turning your favorite emojis into the world of ASCII ※\(^o^)/※☆19Dec 26, 2022Updated 3 years ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 4 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 4 months ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- 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.
- ☆14Nov 4, 2025Updated 4 months ago
- Library classes for the Twelf Proof System☆23Jun 16, 2020Updated 5 years ago
- Keyboard oriented Acme style editing for Neovim☆11Dec 8, 2021Updated 4 years ago
- Events, behaviors, and uneventful misbehaving☆17Sep 4, 2024Updated last year
- A Text-Based Game Engine Made for Python☆15Aug 30, 2023Updated 2 years ago
- ☆17Apr 4, 2024Updated last year
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 3 months ago
- Minimal core language based on dependent function type, pair type, recursive type, sum type and record type.☆15Mar 17, 2026Updated last week
- minimal mass file renamer☆12Jan 26, 2022Updated 4 years ago
- 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.
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- A collection of awesome Purescript libraries, resources and shiny things.☆18Jul 25, 2023Updated 2 years ago
- A teminal othello (reversi) in Nim.☆11May 2, 2021Updated 4 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- Simple operating system for QEMU's virt board.☆11Aug 25, 2021Updated 4 years ago
- Track SVG Splash feature requests and discussions☆13Apr 23, 2020Updated 5 years ago
- Automatic type class law checking.☆24Dec 19, 2025Updated 3 months ago
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Jan 28, 2026Updated 2 months ago
- Personal research notes☆19Oct 18, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Android app for browsing and downloading content from Nhentai.net - currently in development☆11Feb 26, 2026Updated last month
- ☆16Dec 8, 2022Updated 3 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
- Acme style editing plugin for micro editor☆26Jun 27, 2024Updated last year
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆44Updated this week
- Stuff for #anime on freenode☆10Dec 29, 2021Updated 4 years ago
- A library manager for anime and series (https://github.com/cosarara/fucking-weeb in rust)☆10Mar 10, 2020Updated 6 years ago
- Small powerful micro scripting language <1K SLOC☆62Oct 5, 2025Updated 5 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 🪆 A Staged Type Theory☆35Sep 4, 2023Updated 2 years ago
- KVSToK - is a CLI-base KEY VALUE storage☆18Mar 18, 2026Updated last week
- A tiny isomorphic fast function for generating a cryptographically random hex string.☆15Jan 13, 2025Updated last year
- ☆11Mar 6, 2023Updated 3 years ago
- A Hubot adapter for Keybase bot development☆11Mar 26, 2024Updated 2 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Mar 16, 2021Updated 5 years ago
- A package manager.☆18Jun 30, 2021Updated 4 years ago