robertgoss/language
A repo to keep some projects exploring language.
Public GitHub Catalog
Discovered Sep 25, 2026
robertgoss / K---Theory
Lecture Notes from the K - Theory course given by Prof John Jones in Warwick 2012
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#3199922GitHub System ID
robertgossOrganization / User
PublicVisibility
ActiveCatalog Status
More from robertgoss
robertgoss/rootsystem
A simple library to perform some calulation on rootsystems.
robertgoss/sage
Some bits and pieces i have for the sage maths software
robertgoss/cool_haskell
A haskell framework for building a COOL language compiler following the coursera compiler course.