darrenldl/docfd
TUI multiline fuzzy document finder
GitHub repository with 286 stars and 5 forks.
Language: OCaml
Topics: fuzzy-search, tui, document-management, grep-like, search, indexed-search
TUI multiline fuzzy document finder
GitHub repository with 286 stars and 5 forks.
Language: OCaml
Topics: fuzzy-search, tui, document-management, grep-like, search, indexed-search
2026-06-05: 286 stars and 5 forks.
π Static code analysis engine to find security issues in code.
GitHub repository with 2,648 stars and 218 forks.
Trending score: 1.04; stars gained: +11; forks gained: +1.
Language: OCaml
MASC - Multi-Agent Streaming Coordination in OCaml
GitHub repository with 5 stars and 1 forks.
Trending score: 0.55; stars gained: +0; forks gained: +0.
Language: OCaml
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
GitHub repository with 304 stars and 41 forks.
Trending score: 0.52; stars gained: +1; forks gained: +0.
Language: OCaml
Topics: ocaml, wasm, webassembly, interpreter, c, concolic-execution
A static analyzer for Java, C, C++, and Objective-C
GitHub repository with 15,635 stars and 2,092 forks.
Trending score: 0.49; stars gained: +2; forks gained: -1.
Language: OCaml
Topics: static-analysis, static-code-analysis, code-quality, java, c, cpp
OCaml library for reading, writing and modifying PDF files
GitHub repository with 230 stars and 33 forks.
Trending score: 0.48; stars gained: +1; forks gained: +0.
Language: OCaml
The HOL Light theorem prover
GitHub repository with 535 stars and 94 forks.
Trending score: 0.37; stars gained: +1; forks gained: +0.
Language: OCaml
Master your Macβs βTab
GitHub repository with 78 stars and 3 forks.
Trending score: 0.93; stars gained: +1; forks gained: +0.
Language: Swift
Topics: app-switcher, fuzzy-search, macos, pin-apps, window-manager, window-switcher
π€© Kairo is a fast, keyboard-first terminal task manager in Go πΉ with offline-first SQLite, Git sync π, fuzzy search π & Lua plugins π§©
GitHub repository with 227 stars and 18 forks.
Trending score: 0.47; stars gained: +1; forks gained: +0.
Language: Go
Topics: bubbletea, command-palette, cross-platform, developer-tools, fuzzy-search, git
A new way to see and navigate directory trees : https://dystroy.org/broot
GitHub repository with 12,699 stars and 294 forks.
Trending score: 0.32; stars gained: +1; forks gained: -2.
Language: Rust
Topics: rust, linux, command-line, tree, command-line-tool, balanced-bfs-descent
A minimal keyboard-driven cross-platform launcher
GitHub repository with 6 stars and 0 forks.
Trending score: 0.07; stars gained: +0; forks gained: +0.
Language: Rust
Topics: alfred-alternative, cross-platform, desktop-app, fuzzy-search, keyboard-driven, launcher
:pig: Tiny and fast fuzzy search in Go
GitHub repository with 1,319 stars and 66 forks.
Trending score: 0.04; stars gained: +0; forks gained: +0.
Language: Go
Topics: algorithm, fuzzy-search, go
π Configurable fzf completions for fish shell
GitHub repository with 254 stars and 31 forks.
Trending score: 0.03; stars gained: +0; forks gained: +0.
Language: Shell
Topics: cli, complete, completion, fish, fish-packages, fish-plugin