Explore projects

ACIDES / draino

1

Updated Oct 29, 2024

1 0 0 0

Updated Oct 29, 2024
P

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

0

Updated Oct 08, 2024

0 0 0 0

Updated Oct 08, 2024
P

koizel / phdNotes
Creative Commons Attribution 4.0 International

0

Updated Oct 06, 2024

0 0 0 0

Updated Oct 06, 2024
E

koizel / excuese

0

Updated Oct 05, 2024

0 0 0 0

Updated Oct 05, 2024
E

koizel / edicue

0

Updated Sep 22, 2024

0 0 0 0

Updated Sep 22, 2024
H

ACIDES / Higlo

0

Updated Sep 12, 2024

0 0 0 2

Updated Sep 12, 2024
TeDomum / Website

3

Updated Aug 27, 2024

3 14 2 6

Updated Aug 27, 2024
R

koizel / rescou
Creative Commons Attribution 4.0 International

0

Updated Feb 18, 2024

0 0 0 1

Updated Feb 18, 2024
F

koizel / flypast

Friendly proof assistant

0

Updated Oct 08, 2023

0 0 0 0

Updated Oct 08, 2023
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
S

koizel / site

0

Updated Jan 07, 2023

0 0 0 0

Updated Jan 07, 2023
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
H

koizel / hello-latex-flake

0

Updated Nov 13, 2022

0 0 0 1

Updated Nov 13, 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
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
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
N

code4joe / NixOS-Configs
The Unlicense

0

Updated Nov 08, 2020

0 0 0 0

Updated Nov 08, 2020