jonas-kgomo's repositories
jonas-kgomo.github.io
website
hearthisidea.com
The souce for www.hearthisidea.com. A podcast website built with GatsbyJS.
real-estate-api
public data json for uk rental data
fractal
The boundary of neural network trainability is fractal
gaussian-painters
Gaussian Painters using 3D Gaussian Splatting
gaussian-splatting
Original reference implementation of "3D Gaussian Splatting for Real-Time Radiance Field Rendering"
gofai
Python scripts to rapidly iterate on gofai ideas
hear-this-idea
Source for hearthisidea.com. Made with 11ty.
huly-selfhost
Huly for Self Hosting
jonas-kgomo
Bio
lean-theorem-prover
Lean 4 programming language and theorem prover
mapui
Web UI for browsing and filtering plots of land in the UK
marker
Convert PDF to markdown quickly with high accuracy
personal-finance
The OS for your personal finances
platform
Huly — All-in-One Project Management Platform (alternative to Linear, Jira, Slack, Notion, Motion)
plurality
Root repository for ⿻數位 Plurality: The Future of Collaborative Technology and Democracy by E. Glen Weyl, Audrey Tang and the Plurality Community
polis
:milky_way: Open Source AI for large scale open ended feedback
requests-for-research
A living collection of deep learning problems
theorems
A collection of theorems that are to be proven without loss of generality