git.xn--bdkaa.com Git

]> git.xn--bdkaa.com Git

Project	Description	Last Change
bachelor-thesis.git	My bachelor thesis at Innopolis University	6 years ago	summary \| shortlog \| log \| tree
cubicaltt-web.git	My fork of cubicaltt with web interface using Reflex.	2 years ago	summary \| shortlog \| log \| tree
debug-trace-file.hs.git	Like Debug.Trace but writing to files.	2 years ago	summary \| shortlog \| log \| tree
gcs.git	Garbage collection algorithms	10 months ago	summary \| shortlog \| log \| tree
handle-examples.hs.git	Examples of the Handle pattern in Haskell	2 years ago	summary \| shortlog \| log \| tree
hub.go.git	A small websocket server in Go to track the TON's blockchain contracts.	9 months ago	summary \| shortlog \| log \| tree
jolie.agda.git	An attempt to formalize Jolie's type system in Agda	8 years ago	summary \| shortlog \| log \| tree
line-indexed-cursor.hs.git	Line-indexed file reader.	2 years ago	summary \| shortlog \| log \| tree
machines.hs.git	Abstract & Virtual machines in Haskell	10 months ago	summary \| shortlog \| log \| tree
machines.rs.git	Abstract & Virtual machines in Rust	10 months ago	summary \| shortlog \| log \| tree
temple.lean4.git	Simple template library in Lean4.	16 months ago	summary \| shortlog \| log \| tree
where-are-you.py.git	A city geo-guesser game for web written in Python	2 years ago	summary \| shortlog \| log \| tree
xn--bdkaa.com.git	Site that runs ツツツ.com	45 hours ago	summary \| shortlog \| log \| tree