Pinned Repositories
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
advent-of-code2022
Advent of code 2022 in haskell
agda-webserver
A toy implementation of a haskell-servant like api for a webserver written in agda
blog
DepentantFormalization
Practicing agda/type thoery by trying to develop a formalization of a depentant type theory in agda
FOmega
Implementation of a modern functional language on top of the ghc compiler backend
JustKeyboard
A keyboard layout and synthesizer using just intonation.
Logic-designer
nixfiles
my home-manager based setup for my dev environment
TemperamentVis
A web app to visualize regular temperaments
samtoth's Repositories
samtoth/advent-of-code2022
Advent of code 2022 in haskell
samtoth/FOmega
Implementation of a modern functional language on top of the ghc compiler backend
samtoth/JustKeyboard
A keyboard layout and synthesizer using just intonation.
samtoth/Logic-designer
samtoth/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
samtoth/agda-webserver
A toy implementation of a haskell-servant like api for a webserver written in agda
samtoth/blog
samtoth/ComputingClassApp
samtoth/configs
samtoth/DepentantFormalization
Practicing agda/type thoery by trying to develop a formalization of a depentant type theory in agda
samtoth/FIDE-prototype
A prototype of a structural editor for a functinoal (dependantly typed) language
samtoth/MTK
A C++ API designed for Music Tools
samtoth/nixfiles
my home-manager based setup for my dev environment
samtoth/samslang
A hobby functional programming language
samtoth/TemperamentVis
A web app to visualize regular temperaments
samtoth/effects
Porting the Idris Effects library to Agda
samtoth/HardComputers
samtoth/HVM
A massively parallel, optimal functional runtime in Rust
samtoth/music-render
samtoth/musicFlow
samtoth/myRocket-for-galacticraft
dead
samtoth/OceanProject
An Ocean Simulation project for Unreal Engine 4
samtoth/Particle_N-Body
samtoth/postcss-elm-css-tailwind
elm-css code generation for Tailwind utilities
samtoth/rayTracing
samtoth/rust-pwa
samtoth/samsweep
samtoth/TBSEngine
samtoth/Testing
Testing c++
samtoth/yacctt
yacctt: Yet Another Cartesian Cubical Type Theory