-
immutable-insights Public
(totally not a personal blog) [maintainer=@tsandrini]
-
tensorfiles Public template
tsandrini's fully covariant tensorfiles [maintainer=@tsandrini]
-
flake-parts-builder Public
Nix flakes interactive template builder based on flake-parts written in Rust. [maintainer=@tsandrini]
-
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedOct 2, 2025 -
nix-mineral Public
Forked from cynicsketch/nix-mineralConveniently and reasonably harden NixOS.
Nix GNU General Public License v3.0 UpdatedSep 8, 2025 -
-
-
yosys Public
Forked from YosysHQ/yosysYosys Open SYnthesis Suite
C++ ISC License UpdatedSep 6, 2025 -
emilek-stonks-peepogamba Public
Hermetically reproducible gamba for our cute @widlarizer [maintainer=@tsandrini]
Nix MIT License UpdatedAug 11, 2025 -
vrmapi-async Public
Async python client for the VRM API, based off victronenergy/vrm-api-python-client. [maintainer=@tsandrini]
Python GNU Lesser General Public License v2.1 UpdatedAug 11, 2025 -
rust-tinynix Public
Custom nixlang toy tinyyyy compiler targetted mainly for a Rust nix! macro usage. [maintainer=@tsandrini]
Rust GNU Lesser General Public License v2.1 UpdatedJun 11, 2025 -
-
nixos-build-bomb Public
Random PoC of an infinite NixOS build. [maintainer=@tsandrini]
Nix UpdatedMay 15, 2025 -
cubing-notes Public
Random speedcubing notes for various puzzles.
Nix MIT License UpdatedMar 18, 2025 -
advent-of-code Public
Monorepo for all of my personal AOC solutions.
-
rust-nix-declarative-macro Public
Random PoC of a nix! declarative macro in Rust
Nix MIT License UpdatedDec 27, 2024 -
shadow-nix Public
Forked from cornerman/shadow-nixSupporting Shadow under NixOS
Nix The Unlicense UpdatedDec 11, 2024 -
nixvim-config Public
Personal nixvim configuration. [maintainer=@tsandrini]
MIT License UpdatedSep 3, 2024 -
effekt Public
Forked from effekt-lang/effektA research language with effect handlers and lightweight effect polymorphism
Scala MIT License UpdatedAug 17, 2024 -
learnpy Public
School paper for a research project on basic ML/AI fundamentals.
Python MIT License UpdatedJul 2, 2024 -
-
.doom.d Public
Personal doom-emacs configuration & modding
Emacs Lisp MIT License UpdatedFeb 28, 2024 -
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedNov 30, 2023 -
99-problems-in-ocaml Public
My solutions to https://v2.ocaml.org/learn/tutorials/99problems.html
OCaml MIT License UpdatedOct 23, 2023 -
KuratkoveFilmiky Public
Losovač kuřátkových filmíků pro ty nejkuřátkovatější happy kuřátka.
-
nix-unipi-ha-test Public
*WARNING*: repo for testing purposes, will delete later
Nix UpdatedApr 6, 2023 -
NPFL114-deep_fuflearning Public
Materials & assignments for a course "Deep learning NPFL114" taught at MFF.
python machine-learning course deep-learning tensorflow python-deeplearning-tensorflow deep-learning-coursePython Other UpdatedOct 12, 2022 -
practice-and-learning Public
Implementation of various programming practice/competitive assignments as well as (free) courses material.
Java GNU General Public License v3.0 UpdatedMay 25, 2021 -
cp_problems Public
CP (constraint programming) problems solved mainly in Gecode library
{{ message }}