#
Lists (7)
Starred repositories
Powerful expense tracker that lives in your terminal.
🦊 An interactive CLI for creating conventional commits.
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
📊 Cube’s universal semantic layer platform is the next evolution of OLAP technology for AI, BI, spreadsheets, and embedded analytics
Transports, Middleware, and Networks for the Alloy project
Neovim color schemes ported from VSCode Dark+ and Dark Modern with Treesitter and semantic token highlighting
Creusot helps you prove your code is correct in an automated fashion.
🦖 Testing in Production - Synthetic Monitoring on Rust
Submit pull requests for individual, amendable, rebaseable commits to GitHub
Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
A framework for building typesafe web backends in Rust
Minimal Documentation Framework, powered by React + Vite.
zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of…
Gp.nvim (GPT prompt) Neovim AI plugin: ChatGPT sessions & Instructable text/code operations & Speech to text [OpenAI, Ollama, Anthropic, ..]
Scan your Rust crate for semver violations.
Fast, collaborative live terminal sharing over the web
A modular Rust implementation of the static version of the ICE-FROST signature scheme.