Highlights
-
tinybeachthor.github.io Public
my blog
Nix BSD 3-Clause "New" or "Revised" License UpdatedOct 10, 2024 -
-
bear_witness Public
type witness in rust
-
-
-
-
-
whisper.cpp Public
Forked from ggerganov/whisper.cppPort of OpenAI's Whisper model in C/C++
C MIT License UpdatedNov 28, 2023 -
-
Kindex Public
Forked from Sipher/WikindCollection of Kind2 programs and proofs
Other UpdatedJul 19, 2023 -
-
-
-
hypercore Public
Forked from datrs/hypercoreSecure, distributed, append-only log
Rust Apache License 2.0 UpdatedFeb 24, 2023 -
-
dream2nix Public
Forked from nix-community/dream2nixNixify software with less effort [maintainer=@DavHau]
Nix MIT License UpdatedOct 3, 2022 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedAug 29, 2022 -
dream2nix-php-composer-lock Public
dream2nix translator composer-lock test repo
UpdatedAug 25, 2022 -
homebridge-vantage Public
Forked from clonked/homebridge-vantageHomebridge driver for Vantage Controls
JavaScript UpdatedJul 23, 2022 -
-
-
alexandria Public archive
Your personal ebook collection manager
-
-
-
IPD Public
New Generation Iterative Prisoner's Dilemma - TUDelft CSE3000 Research Project
Python BSD 3-Clause "New" or "Revised" License UpdatedAug 30, 2021 -
-
-
-
mesa Public
Forked from projectmesa/mesaMesa is an agent-based modeling framework in Python
Python Other UpdatedApr 28, 2021 -
Previous Next