Repositories Users Organizations
Filter
Sort
xenia/ unispect
Rust 0 0
Updated 2024-06-08 15:14:49 +02:00
rachel/ viddl
Haskell 0 0
A web front-end for youtube-dl
Updated 2024-06-08 15:14:32 +02:00
rachel/ agda-web-test
Agda 0 0
Updated 2024-06-08 15:11:57 +02:00
rachel/ implicitt
OCaml 0 0
A “proof assistant” with holes and implicit arguments. Being developed to learn about elaboration, meta variables and OCaml.
Updated 2024-06-08 15:11:36 +02:00
xenia/ kak-tree
Rust 0 0
Updated 2024-06-08 15:10:55 +02:00
rachel/ kino
Haskell 0 0
A tui client for browsing yts.mx
Updated 2024-06-08 15:10:53 +02:00
rachel/ chalmers-eduroam-nix
Nix 0 0
Updated 2024-06-08 15:09:19 +02:00
xenia/ xen32os
Assembly 0 0
OS rom for fox32
Updated 2024-06-08 15:08:49 +02:00
rachel/ emacs.d
Emacs Lisp 0 0
Updated 2024-06-08 15:07:11 +02:00
rachel/ hm
Haskell 0 0
A hindley-milner typechecker with inductive types.
Updated 2024-06-08 15:07:03 +02:00
xenia/ fox32os
Assembly 0 0
Fork of https://github.com/fox32-arch/fox32os, mirrored at https://github.com/xeniagda/fox32os-mirror
Updated 2024-06-08 15:06:43 +02:00
rachel/ an-algorithm-for-checking-dependent-types
Haskell 0 0
"modern" haskell implementation of the algorithm described in the paper of the same name.
Updated 2024-06-08 15:06:32 +02:00
xenia/ unambig-path
Rust 0 0
Updated 2024-06-08 15:04:59 +02:00
rachel/ mpdart
C 0 0
An application for viewing album art of the song currently playing in mpd
Updated 2024-06-08 15:04:58 +02:00
rachel/ rachel.cafe
HTML 0 0
the sources for my website
Updated 2024-06-08 15:04:36 +02:00
xenia/ fox32rom
Assembly 0 0
Fork of https://github.com/fox32-arch/fox32rom/, mirrored at https://github.com/xeniagda/fox32rom-mirror/
Updated 2024-06-08 15:04:32 +02:00
rachel/ pi
Idris 0 0
A typechecker for intensional MLTT without elaboration.
Updated 2024-06-08 15:04:31 +02:00
xenia/ henttp
Agda 0 0
HTTP server library in Agda
Updated 2024-06-08 15:04:27 +02:00
xenia/ fox32-hw
C++ 0 0
Updated 2024-06-08 15:03:55 +02:00