-
cslib Public
Forked from leanprover/cslibThe Lean Computer Science Library (CSLib)
Lean Apache License 2.0 UpdatedJul 24, 2026 -
iLEAPP Public
Forked from abrignoni/iLEAPPiOS Logs, Events, And Plist Parser
Python MIT License UpdatedJul 19, 2026 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedJul 13, 2026 -
jellyfin-desktop Public
Forked from xaltsc/jellyfin-desktopJellyfin Desktop Client
Rust GNU General Public License v2.0 UpdatedJul 7, 2026 -
-
-
zeta Public
Forked from lentilus/zetaa performant lsp for navigating typst notes
Go UpdatedApr 29, 2026 -
-
nixvim Public
Forked from nix-community/nixvimConfigure Neovim with Nix! [maintainers=@GaetanLepage, @traxys, @mattsturgeon, @khaneliman]
Nix MIT License UpdatedApr 14, 2026 -
eff Public
Forked from matijapretnar/effA functional programming language based on algebraic effect handlers
OCaml BSD 2-Clause "Simplified" License UpdatedApr 1, 2026 -
paneru Public
Forked from karinushka/paneruA sliding, tiling window manager for MacOS.
Rust MIT License UpdatedOct 18, 2025 -
-
ott-vim Public
Forked from tsung-ju/ott-vimVim syntax highlighting for the ott programming languages design tool
Vim Script MIT License UpdatedNov 11, 2024 -
-
lazyloot Public
A lazy compiler for a subset of the Racket language
-
-
-
BMC-Clustering Public
A force graph visualization of BMC Clustering
Jupyter Notebook UpdatedNov 26, 2023 -
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
Rust Mozilla Public License 2.0 UpdatedJun 6, 2021 -
homebrew-helix Public
Forked from helix-editor/homebrew-helixA homebrew tap for helix
UpdatedJun 3, 2021
{{ message }}