-
-
Lean-QuantumInfo Public
Forked from Timeroot/Lean-QuantumInfoQuantum information theory in Lean 4
Lean MIT License UpdatedOct 23, 2025 -
-
-
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda Other UpdatedSep 28, 2024 -
-
-
RetrodictiveComputing Public
Forked from JacquesCarette/RetrodictiveComputingRepository for all the code that goes along with the Retrodictive Quantum Computing
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 4, 2023 -
-
-
-
-
-
-
-
grok Public
These days, engineers need to solve puzzles to survive, so here they are.
-
lograc-2022 Public
Forked from andrejbauer/lograc-2022Git repository for the course Logika v računalništvu
-
craft-share Public
A social blogging community from scratch made with Next.js, Firebase and deployed with Vercel.
-
pathToRustacean Public
🦀 Collection of tools, programs, snippets all written in rust.
-
websocket-cellgame Public
Multiplayer game build while learning websockets.
-
node-archive Public
🌐 Collection of node.js based tools, projects, snippets, basically all things node.
-
csv2json Public
Forked from knadh/csv2jsoncsv2json is a fast utility that converts CSV files into JSON line files. An experiment in Zig lang.
-
-
-
indexed-cache Public
Forked from knadh/indexed-cacheA tiny Javsacript library for sideloading static assets on pages and caching them in the browser's IndexedDB for longer-term storage.
-
rms-support-letter.github.io Public
Forked from rms-support-letter/rms-support-letter.github.ioAn open letter in support of Richard Matthew Stallman being reinstated by the Free Software Foundation
-
Hayek-Token Public
🗃️ An ERC20 smart contract as an alternative to traditional loyalty programs.
-
novatorem Public
Forked from novatorem/novatoremDynamic realtime profile ReadMe linked with spotify
-
solidity Public
Forked from argotorg/soliditySolidity, the Contract-Oriented Programming Language
-
thock Public
Forked from rmehri01/thock⌨️ A modern TUI typing game featuring online racing against friends.
{{ message }}