Beast code in Giters

Martin Toman's repositories

libdata-public

Language:RustApache-2.01 20

alexandria

Your personal ebook collection manager

Language:PHPGPL-3.002 3

tinybeachthor.github.io

my blog

Language:NixBSD-3-Clause03 21

cmdstanpy-nix

Language:Nix020

covid19

Language:Nix020

csv-processing

Language:Rust000

cv2

Language:JavaScriptMIT02 5

docker-zoom

Zoom Video Conferencing client in a Docker container

Language:DockerfileMIT010

dream2nix

Nixify software with less effort [maintainer=@DavHau]

Language:NixMIT000

dream2nix-php-auto

dream2nix auto-generated php packages

Language:Shell020

dream2nix-php-composer-lock

dream2nix translator composer-lock test repo

000

Formality

Language:JavaScriptMIT010

homebridge-vantage

Homebridge driver for Vantage Controls

Language:JavaScript010

hypercore

Secure, distributed, append-only log

Language:RustApache-2.0010

i1-templates-8n

Language:Rust000

IPD

New Generation Iterative Prisoner's Dilemma - TUDelft CSE3000 Research Project

Language:PythonBSD-3-Clause020

Kindex

Collection of Kind2 programs and proofs

NOASSERTION010

mesa

Mesa is an agent-based modeling framework in Python

Language:PythonNOASSERTION010

nature

Easy nix environments

Language:Rust020

nix

Language:Nix02 8

nixpkgs

Nix Packages collection

Language:NixMIT010

nur-packages

Language:NixMIT000

remarkable

Language:Nix000

sparser-bitfield

Language:RustApache-2.0020

templates

Language:Nix020

tensegrity

Language:Jupyter Notebook020

TLAplus

Language:TeXUnlicense000

ucboulder-bigdata-final

Language:Python000

ucboulder-ml-supervised

Language:Jupyter Notebook000

whisper.cpp

Port of OpenAI's Whisper model in C/C++

MIT000