Pinned Repositories
algebra-structs
aoc2022
aoc2023
arithmetics
blog
a blog i'm too lazy to actually render so all you're getting is a bunch of org files
gender
my gender,,, made public
my-archiver
the-button
iriscan desk 5 pro button linux tool
uniwuni.github.io
uniwuni's Repositories
uniwuni/blog
a blog i'm too lazy to actually render so all you're getting is a bunch of org files
uniwuni/my-archiver
uniwuni/algebra-structs
uniwuni/aoc2022
uniwuni/aoc2023
uniwuni/gender
my gender,,, made public
uniwuni/the-button
iriscan desk 5 pro button linux tool
uniwuni/arithmetics
uniwuni/bourbaki-lean
uniwuni/cubical-1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
uniwuni/elisp-oauth-2
Simpler oauth2 for elisp
uniwuni/jena
Apache Jena
uniwuni/org-fit
Companion to org-fit-hs, automatically retrieves data from the Google Fit API
uniwuni/org-fit-hs
Google Fit data API to org mode data
uniwuni/orger
Tool to convert data into searchable and interactive org-mode views
uniwuni/uniwuni.github.io
uniwuni/1000-plus.github.io
uniwuni/byline
Haskell library for creating command-line interfaces (colors, menus, etc.)
uniwuni/hsparql
hsparql includes a DSL to easily create queries, as well as methods to submit those queries to a SPARQL server, returning the results as simple Haskell data structures.
uniwuni/mm0-tests
Metamath 0 stuff
uniwuni/project-euler-rs
uniwuni/rdf-archiver
uniwuni/SetTheory
uniwuni/tested_algebra
uniwuni/youtube-archive-watched
Small tool to automatically download the youtube videos you watched