Explore projects

F

koizel / flypast

Friendly proof assistant

0

Updated Jan 14, 2023

0 0 0 0

Updated Jan 14, 2023
H

koizel / hello-latex-flake

0

Updated Nov 13, 2022

0 0 0 1

Updated Nov 13, 2022
K

koizel / knixpkgs

0

Updated Feb 01, 2023

0 0 0 0

Updated Feb 01, 2023
M

koizel / menestrel

0

Updated Jan 15, 2023

0 0 0 0

Updated Jan 15, 2023
N

Jae Lo Presti / NixOS-Configs
The Unlicense

0

Updated Jun 24, 2021

0 1 0 0

Updated Jun 24, 2021
N

code4joe / NixOS-Configs
The Unlicense

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020
P

koizel / phdNotes

0

Updated Nov 26, 2022

0 0 0 0

Updated Nov 26, 2022
R

koizel / ralbumpd
BSD 3-Clause "New" or "Revised" License

Automatically refills MPD's playlist with random albums.

0

Updated May 01, 2022

0 0 0 0

Updated May 01, 2022
R

koizel / rescou

0

Updated Nov 13, 2022

0 0 0 1

Updated Nov 13, 2022
S

koizel / site

0

Updated Jan 07, 2023

0 0 0 0

Updated Jan 07, 2023
S

Axiom-Team / substrate-libre-currency
GNU Affero General Public License v3.0

PoC Substrate-based libre currency

0

Updated Jul 14, 2021

0 1 1 0

Updated Jul 14, 2021
S

librelois / substrate-libre-currency
GNU Affero General Public License v3.0

PoC Substrate-based libre currency

0

Updated Jul 14, 2021

0 0 0 0

Updated Jul 14, 2021
T

koizel / typeSystemTerms
LaTeX Project Public License v1.3c

A LaTeX package providing commands to typeset lambda terms and such.

0

Updated Dec 26, 2022

0 0 0 0

Updated Dec 26, 2022