Projects in Awesome Lists by jozefg
A curated list of projects in awesome lists by jozefg .
https://github.com/jozefg/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
Last synced: 23 Mar 2025
https://github.com/jozefg/higher-order-unification
A small implementation of higher-order unification
Last synced: 12 Apr 2025
https://github.com/jozefg/nbe-for-mltt
Normalization by Evaluation for Martin-Löf Type Theory
Last synced: 20 Dec 2024
https://github.com/jozefg/blott
An experimental type checker for a modal dependent type theory.
Last synced: 12 Apr 2025
https://github.com/jozefg/miniprl
A small implementation of a proof refinement logic.
Last synced: 23 Mar 2025
https://github.com/jozefg/wiki-summary.el
Get summaries of wikipedia articles in Emacs
Last synced: 23 Mar 2025
https://github.com/jozefg/sml-fingertree
The ugliness is worth it, the ugliness is worth it, the ugliness...
Last synced: 23 Mar 2025
https://github.com/jozefg/cooked-pi
What if we built the same frustrating type checker over and over again? For science.
Last synced: 12 Apr 2025
https://github.com/jozefg/modal
Modal logic in Haskell through Static Pointers
Last synced: 12 Apr 2025
https://github.com/jozefg/independence-of-the-continuum-hypothesis
Some notes on the independence of the continuum hypothesis.
Last synced: 23 Mar 2025
https://github.com/jozefg/fibrational-semantics
Notes on simple fibrational semantics.
boring-math fibrations semantics
Last synced: 23 Mar 2025
https://github.com/jozefg/register-alloc
WIP - A little doodle of a register allocator with an explanation of how it works.
Last synced: 12 Apr 2025
https://github.com/jozefg/secret-notes
Containing small notes which aren't original or noteworthy, but which I don't want to lose.
Last synced: 23 Mar 2025
https://github.com/jozefg/concurrent-stack-with-helping
A case study in Iris formalizing a concurrent stack with helping.
Last synced: 23 Mar 2025
https://github.com/jozefg/classical-realizability
Notes on a realizability model for a classical logic
Last synced: 23 Mar 2025
https://github.com/jozefg/simple-abt
Nothing fancy, just binding without pain
Last synced: 23 Mar 2025
https://github.com/jozefg/a-short-talk-on-iris
The notes for a short talk given on Iris in a seminar on concurrent separation logic at Carnegie Mellon.
Last synced: 23 Mar 2025
https://github.com/jozefg/hotc
Notes on higher-order typed compilation. Probably wrong
Last synced: 23 Mar 2025
https://github.com/jozefg/sml-higher-order-matching
A (probably broken) second order pattern matching
Last synced: 23 Mar 2025
https://github.com/jozefg/oplss
My notes from OPLSS and related pre-lecture-thingies
Last synced: 23 Mar 2025
https://github.com/jozefg/effective-topos
Notes on the effective topos and related subjects.
Last synced: 23 Mar 2025
https://github.com/jozefg/ctt.elf
Probably wrong formalization of computational type theory in Twelf.
Last synced: 23 Mar 2025
https://github.com/jozefg/reified-records
automatic reification of records to maps
Last synced: 23 Mar 2025
https://github.com/jozefg/talks-for-logsem
slides for talks that I gave at the logic & semantics seminar at Aarhus University.
Last synced: 23 Mar 2025
https://github.com/jozefg/sml-stream
Merge-able, bind-able, potentially infinite streams in SML
Last synced: 23 Mar 2025
https://github.com/jozefg/an-addendum-to-first-steps
A small note I wanted to keep track of on First Steps in Synthetic Guarded Domain Theory
Last synced: 23 Mar 2025
https://github.com/jozefg/cut.elf
A proof of cut elimination for a boring logic in a not boring metatheory
Last synced: 23 Mar 2025
https://github.com/jozefg/solar-system
Term project for Matter & Interactions 1
Last synced: 23 Mar 2025