Pinned Repositories
a-journey-towards-unification
unfortunately not a tale about social changes
agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
awesome-answers
Curated list of inspiring and thoughtful answers given on stackoverflow, quora, etc.
cyberglot
hayo-s-in-haskell
Hayo Thielecke's PhD thesis SML '93 code translated into simple Haskell
idris2-spacemacs
It may work, use at your own discretion.
jsq
Metaprogramming JavaScript... in Haskell. A fork of jmacro
locm-proto
typecheckler
algebraic typechecking and elaboration of type systems
cyberglot's Repositories
cyberglot/idris2-spacemacs
It may work, use at your own discretion.
cyberglot/typecheckler
algebraic typechecking and elaboration of type systems
cyberglot/hayo-s-in-haskell
Hayo Thielecke's PhD thesis SML '93 code translated into simple Haskell
cyberglot/a-journey-towards-unification
unfortunately not a tale about social changes
cyberglot/banchan
The Co-Operative Commissions Platform
cyberglot/cyberglot
cyberglot/DSLsofMath
Easily navigable DSLsofMath code
cyberglot/hands-on-rust
cyberglot/lean4-playground
cyberglot/schmitty
cyberglot/unicorn
Purely functional GUI algebra
cyberglot/locm-proto
cyberglot/agda-calf
A cost-aware logical framework, embedded in Agda.
cyberglot/ART-2023-Fitzgerald-Centelles-VampIR-Bestiary
cyberglot/ART-2023-Hart-Rethinking-VampIR
cyberglot/bnfc
BNF Converter
cyberglot/cbpv-in-agda
Formalization of Call-By-Push-Value, augmented with effect tracking
cyberglot/compiler
Compiler for Elm, a functional language for reliable webapps.
cyberglot/ghcup-hs
cyberglot/hello-garnix
cyberglot/ipl
Agda formalization of Intuitionistic Propositional Logic
cyberglot/lake
cyberglot/language-garden
A garden of small programming language implementations 🪴
cyberglot/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
cyberglot/skills-introduction-to-codeql
GitHub Skills: Introduction to CodeQL
cyberglot/smalltt
Demo for high-performance type theory elaboration
cyberglot/teenytt
A Teeny Type Theory
cyberglot/TypOS
being an operating system for typechecking processes
cyberglot/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
cyberglot/zydeco
a proof-of-concept programming language based on Call-by-push-value