Rachel Lambda Samuelsson rachel
1 Followers · 1 Following
  • Gothenburg, Sweden
  • https://rachel.cafe

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

  • Joined on 2022-01-22
Repositories
46
 Projects Packages Public Activity Starred Repositories
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
secd
C 0 0

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

Updated 2022-10-08 14:51:37 +02:00

mpdart
C 0 0

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

Updated 2022-10-08 14:49:33 +02:00