-
IMC Trading B.V.
- Zürich, Switzerland
- http://knezevic.ch
Stars
This does for Documents what repo-browser does for repos. A local AI powered Document search engine
Engines, queries, and data for dynamic Datalog computation
Stop wasting tokens and re-explaining your project every session. Recall gives Claude Code durable memory — entirely offline.
An efficient AI coding agent extendable by neovim like Lua plugins
Efficient reliable UDP unicast, UDP multicast, and IPC message transport
Claude skills I'm experimenting with. Please review carefully before use.
Research on integrating datalog & lambda calculus via monotonicity types
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Fast, AI-agent-native code search in Rust — hybrid BM25 + semantic, Tree-sitter AST chunking, dependency & impact analysis. Drop-in replacement for grep/cat/read/ls in Claude Code, Codex, Cursor, A…
Automated processing and publishing of regulatory circulars from NSE, BSE, and SEBI with AI-powered summaries
$ A blazingly fast Zsh syntax highlighter 🌈
an open source, extensible AI agent that goes beyond code suggestions - install, execute, edit, and test with any LLM
Universal NixOS Deployment Tool - inspect, bootstrap, build, transfer, secrets, activate, rollback
CI and hosting for nix-based, flakified github repos
A command line tool for datetime arithmetic, parsing, formatting and more.
Lightweight HTTP proxy for optimizing Nix cache routes for fast access
Create elegant graphics with the Grammar of Graphics for Typst.
Rust/Wasm-powered SQL transpiler for more than 30 SQL dialects
Fast and Accurate Code Search for Agents. Uses 99% fewer tokens than grep+read
PLANKA is the Kanban-style project mastering tool for everyone
Declarative schema migrations with schema-as-code workflows
A Polars-native DataFrame styling tool for HTML visualization