Pinned Repositories
juvix
A language for intent-centric and declarative decentralised applications
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.
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.
typecheckler
algebraic typechecking and elaboration of dependent types
typed-lvar
semantics, typing rules and proofs of a call-by-value parallel calculus with LVars.
schmitty
Agda bindings to SMT-LIB2 compatible solvers.
cyberglot's Repositories
cyberglot/idris2-spacemacs
It may work, use at your own discretion.
cyberglot/typecheckler
algebraic typechecking and elaboration of dependent types
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/MetaprogAgda
being the materials for Summer 2013's course
cyberglot/schmitty
cyberglot/unicorn
Purely functional GUI algebra
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/kv-store-db
A fast, lightweight, and easy-to-use in-memory and in-process key-value datastore for node.js
cyberglot/language-garden
A garden of small programming language implementations 🪴
cyberglot/locm-proto
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