-
msim Public
Forked from d-iii-s/msimLight-weight MIPS R4000 and RISC-V system simulator
C GNU General Public License v2.0 UpdatedDec 10, 2025 -
Typst template for writing a thesis on MFF CUNI
-
statico Public
A static site uploader
-
-
-
miniforth Public
A minimal Forth interpreter
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 29, 2025 -
-
-
typst-collection Public
Forked from swaits/typst-collectionA collection of typst stuff, including packages and templates.
Typst MIT License UpdatedApr 4, 2025 -
lemmify Public
Forked from Marmare314/lemmifyA library for typesetting mathematical theorems in typst.
Typst GNU General Public License v3.0 UpdatedFeb 14, 2025 -
-
website Public
My personal website (basically a business card)
HTML Creative Commons Attribution 4.0 International UpdatedSep 25, 2024 -
progalej.cz Public
Notes for teaching programming at Gymnázium nad Alejí
-
-
-
-
zmk-config-totem Public
Forked from GEIGEIGEIST/zmk-config-totemZMK config for TOTEM split keyboard
UpdatedApr 25, 2024 -
Moralis-Python-SDK Public
Forked from MoralisWeb3/Moralis-Python-SDKPython MIT License UpdatedApr 5, 2024 -
-
-
-
-
-
-
elm-grpc Public
Make gRPC-web requests directly from Elm!
-
-
-
lerner Public
A simple in-web tool for generating flashcards from Google Sheets (yuck)
Elm Do What The F*ck You Want To Public License UpdatedJan 9, 2022 -
-
{{ message }}