Repositories Users Organizations

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks

Search

rachel / agda-web-test

Agda 0 0

Updated 2023-07-19 23:14:07 +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 2022-05-12 19:01:29 +02:00

xenia / ansi-utils

Python 0 0

Updated 2023-10-12 12:33:01 +02:00

rachel / chalmers-eduroam-nix

Nix 0 0

Updated 2023-07-25 13:45:22 +02:00

rachel / cwfs

0 0

A literate formalization of categories with families in cubical agda.

Updated 2022-10-28 16:23:43 +02:00

rachel / emacs.d

Emacs Lisp 0 0

Updated 2023-08-15 10:13:59 +02:00

rachel / eyezoom

Shell 0 0

Updated 2024-03-19 20:23:36 +01:00

xenia / fox-tools

C 0 0

Fork of https://github.com/fox32-arch/tools, mirrored at https://github.com/xeniagda/fox-tools-mirror

Updated 2024-02-14 22:09:56 +01:00

xenia / fox32

C 0 0

Fork of https://github.com/fox32-arch/fox32, mirrored at https://github.com/xeniagda/fox32-mirror

Updated 2024-03-15 11:10:45 +01:00

xenia / fox32-hw

C++ 0 0

Updated 2024-01-21 23:00:12 +01:00

xenia / fox32asm

Rust 0 0

Fork of https://github.com/fox32-arch/fox32asm, mirrored on github at https://github.com/xeniagda/fox32asm-mirror

Updated 2024-02-23 13:04:23 +01:00

xenia / fox32os

Assembly 0 0

Fork of https://github.com/fox32-arch/fox32os, mirrored at https://github.com/xeniagda/fox32os-mirror

Updated 2024-02-04 12:48:41 +01:00

xenia / fox32rom

Assembly 0 0

Fork of https://github.com/fox32-arch/fox32rom/, mirrored at https://github.com/xeniagda/fox32rom-mirror/

Updated 2024-02-03 16:06:00 +01:00

xenia / henttp

Agda 0 0

HTTP server library in Agda

Updated 2023-09-09 23:02:41 +02:00

rachel / hm

Haskell 0 0

A hindley-milner typechecker with inductive types.

Updated 2023-01-25 21:39:25 +01:00

xenia / home

Nix 0 0

Home manager configuration and dotfiles

Updated 2024-03-30 21:49:28 +01: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 2023-02-05 17:05:19 +01:00

xenia / kak-tree

Rust 0 0

Updated 2023-12-29 23:28:47 +01:00

xenia / kakoune

C++ 0 0

fork of kakoune (nix, some minor patches)

Updated 2024-02-08 18:23:07 +01:00

xenia / kblayouts

Python 0 0

Updated 2024-03-12 11:18:41 +01:00