githug

rachel/ secd

C 0 0

A vm designed to run functional languages. Unfinished and (currently) abandoned.

Updated 2024-06-08 15:39:01 +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/ viddl

Haskell 0 0

A web front-end for youtube-dl

Updated 2024-06-08 15:14:32 +02:00

rachel/ kino

Haskell 0 0

A tui client for browsing yts.mx

Updated 2024-06-08 15:10:53 +02:00

rachel/ hm

Haskell 0 0

A hindley-milner typechecker with inductive types.

Updated 2024-06-08 15:07:03 +02:00

rachel/ rachel.cafe

HTML 0 0

the sources for my website

Updated 2024-06-08 15:04:36 +02:00

rachel/ pi

Idris 0 0

A typechecker for intensional MLTT without elaboration.

Updated 2024-06-08 15:04:31 +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

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

rachel/ cwfs

0 0

A literate formalization of categories with families in cubical agda.

Updated 2024-06-08 15:41:34 +02:00

rachel/ emacs.d

Emacs Lisp 0 0

Updated 2024-06-08 15:07:11 +02:00

rachel/ forsh

Shell 0 0

Updated 2024-07-08 18:53:35 +02:00

rachel/ agda-web-test

Agda 0 0

Updated 2024-06-08 15:11:57 +02:00

xenia/ xen-garden

TypeScript 0 0

Updated 2024-06-08 16:52:36 +02:00

rachel/ psDeriver

Nix 0 0

psDeriver is a file which lets one define postscript derivations simply.

Updated 2024-06-08 15:24:29 +02:00

rachel/ nixos-config

Nix 0 0

my nixos configuration

Updated 2024-07-26 18:23:17 +02:00

rachel/ chalmers-eduroam-nix

Nix 0 0

Updated 2024-06-08 15:09:19 +02:00

xenchel/ matabas

Haskell 0 0

En databas för maträtter och recept.

Updated 2024-06-08 15:32:10 +02:00

xenia/ henttp

Agda 0 0

HTTP server library in Agda

Updated 2024-06-08 15:04:27 +02:00

xenia/ home

Nix 0 0

Home manager configuration and dotfiles

Updated 2024-07-26 12:01:21 +02:00