Rachel Samuelsson depsterr
0 Followers · 0 Following
  • Gothenburg, Sweden

  • Interested in type theory, category theory and univalent foundations.

  • Joined on Jan 22, 2022
Repositories Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
depsterr.com
HTML 0 0

the sources for my website

Updated 7 days ago

implicitt
OCaml 0 0

A “proof assistant” with holes and implicit arguments. Being developed to learn about elaboration, meta variables and OCaml.

Updated 1 week ago

hm
Haskell 0 0

A hindley-milner typechecker with inductive types.

Updated 1 week ago

emacs.d
Emacs Lisp 0 0

Updated 3 weeks ago

cwfs
0 0

A literate formalization of categories with families in cubical agda.

Updated 3 months ago

pi
Idris 0 0

A typechecker for intensional MLTT without elaboration.

Updated 4 months ago

secd
C 0 0

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

Updated 4 months ago

mpdart
C 0 0

An application for viewing album art of the song currently playing in mpd

Updated 4 months ago

viddl
Haskell 0 0

A web front-end for youtube-dl

Updated 4 months ago

kino
Haskell 0 0

A tui client for browsing yts.mx

Updated 4 months ago

an-algorithm-for-checking-dependent-types
Haskell 0 0

"modern" haskell implementation of the algorithm described in the paper of the same name.

Updated 9 months ago