erooke
Follow
-
kind2 Public
Forked from kind2-mc/kind2Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
OCaml Apache License 2.0 UpdatedFeb 11, 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
-
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.
-
typescript-language-server.nix Public
Forked from olebedev/typescript-language-server.nixNix UpdatedApr 18, 2023 -
xdg-ninja Public
Forked from b3nj5m1n/xdg-ninjaA shell script which checks your $HOME for unwanted files and directories.
Haskell MIT License UpdatedApr 8, 2023 -
dbscan-rs Public
Forked from lazear/dbscanDependency free implementation of DBSCAN clustering in Rust
Rust MIT License UpdatedApr 6, 2023 -
-
jupyenv Public
Forked from tweag/jupyenvDeclarative and reproducible Jupyter environments - powered by Nix