wizeman

Pinned Repositories

nix
Nix, the purely functional package manager
Language:C++13.2k 117 6.3k1.6k
nixpkgs
Nix Packages collection & NixOS
Language:Nix18.8k 275 44k14.6k
ARC
The Abstraction and Reasoning Corpus
Language:JavaScript0 1 00

wizeman's Repositories

wizeman/ARC
The Abstraction and Reasoning Corpus
Language:JavaScript0 1 00
wizeman/borg
Deduplicating archiver with compression and authenticated encryption.
Language:Python1 0
wizeman/doit
task management & automation tool
Language:Python3 0
wizeman/hydra
Hydra, the Nix-based continuous build system
Language:Perl2 0
wizeman/nix
Nix, the purely functional package manager
Language:C++2 0
wizeman/nixops
NixOps, the NixOS-based cloud deployment tool
Language:Python2 0
wizeman/nixpkgs
Nix Packages collection
Language:Nix2 0
wizeman/ocaml-posix
Bindings to the various POSIX APIs
Language:OCaml1 0
wizeman/rust
a safe, concurrent, practical language
Language:Rust2 0
wizeman/rust-bignum
Bignum bindings for rust backed by GMP
Language:Rust2 0
wizeman/rust-gmp
gmp bindings for rust
Language:Rust2 0
wizeman/rust-peg
Parsing Expression Grammar (PEG) parser generator for Rust
Language:Rust2 0
wizeman/rust-sdl2
SDL2 bindings for Rust
Language:Rust2 0
wizeman/seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
Language:Shell1 0
wizeman/todoist
Todoist CLI Client. I ❤️ Todoist and CLI.
Language:Go2 0
wizeman/tutoriel_wp
Frama-C and WP tutorial
Language:TeX1 0
wizeman/wizeman.github.io
Language:JavaScript2 0