-
kind2 Public
Forked from kind2-mc/kind2Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
OCaml Apache License 2.0 UpdatedMay 22, 2025 kind2-benchmarks Public
Forked from kind2-mc/kind2-benchmarksSet of benchmarks for Kind 2
eC UpdatedMay 22, 2025 blink-cmp-latex Public
A latex source for blink.cmp
OpenUxAS_P_Models Public
Forked from kind2-mc/OpenUxAS_P_ModelsOpenEdge ABL Apache License 2.0 UpdatedFeb 13, 2025 build123d Public
Forked from gumyr/build123dA python CAD programming library
Python Apache License 2.0 UpdatedNov 18, 2024 nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedNov 1, 2024 telekasten.nvim Public
Forked from nvim-telekasten/telekasten.nvimA Neovim (lua) plugin for working with a markdown zettelkasten / wiki and mixing it with a journal, based on telescope.nvim
Lua MIT License UpdatedOct 11, 2024 pywrap Public
Forked from CadQuery/pywrapC++ binding generator based on libclang and pybind11
C++ Apache License 2.0 UpdatedOct 8, 2024 cq-flake Public
Forked from vinszent/cq-flakeCadQuery and CQ-editor flake, closely follows master
PolyVectorization Public
Forked from bmpix/PolyVectorizationReference implementation of Vectorization of Line Drawings via PolyVector Fields
C++ MIT License UpdatedSep 11, 2024 peasy-ide-vscode Public
Forked from p-org/peasy-ide-vscodePeasy: An Intuitive Development Environment for P
JavaScript MIT License UpdatedSep 6, 2024 pytask Public
Forked from pytask-dev/pytaskpytask is a workflow management system that facilitates reproducible data analyses.
Python Other UpdatedJun 24, 2024 antigone Public
Forked from lpil/antigoneArgon2 password hashing for Gleam.
Gleam UpdatedMay 31, 2024 marker-nix Public
Forked from VikParuchuri/markerConvert PDF to markdown quickly with high accuracy
disk-burnin-and-testing Public
Forked from Spearfoot/disk-burnin-and-testingShell script for burn-in and testing of new or re-purposed drives
Shell Other UpdatedMar 14, 2024 charred.nvim Public archive
Format all your python code on write in nvim
Python ISC License UpdatedJan 14, 2024 nix-portable Public
Forked from DavHau/nix-portableNix - Static, Permissionless, Installation-free, Pre-configured
Nix MIT License UpdatedDec 6, 2023 nixos-up Public
Forked from samuela/nixos-upThe fastest NixOS install there is! 🏎️🏁
Python UpdatedOct 30, 2023 ttyd Public
Forked from tsl0922/ttydShare your terminal over the web
C MIT License UpdatedOct 9, 2023 brlaser Public
Forked from Owl-Maintain/brlaseropen-source CUPS driver for monochrome Brother laser printers
C++ GNU General Public License v2.0 UpdatedAug 27, 2023 nix.dev Public
Forked from NixOS/nix.devAn opinionated guide for developers wanting to get things done with the Nix ecosystem.
{{ message }}