This is a small terminal tool for tracking tasks and also my first project! It is simple, but hope it is as helpful for other people as it is for me.
A lightweight, arena-backed representation of Prolog–like terms
This crate provides a few representations of SMT scripts and other functionalities.
Comprehensive terminal emulator library in Rust with Python bindings - VT100/VT220/VT320/VT420/VT520 support, PTY, Sixel/iTerm2/Kitty graphics
Levenshtein/Universal Automata for approximate string matching using various dictionary backends
A Thermal Hydraulics Library with some useful traits,enums and functions for heat transfer and fluid mechanics
Thermo-hydraulic Uniphase Solver for Advection and Convection in Salt Flows (TUAS)
A thread-safe library to manipulate and store first-order terms.
A Rust library for representing, parsing, and computing with first-order term rewriting systems.
Strongly typed OpenSearch DSL
Detached, observable subprocess runner for AI agents
Spelling correction & Fuzzy search
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.