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/awesome-answers
Curated list of inspiring and thoughtful answers given on stackoverflow, quora, etc.
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/node-vs-elixir
implementações
cyberglot/a-journey-towards-unification
unfortunately not a tale about social changes
cyberglot/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
cyberglot/cyberglot
cyberglot/DSLsofMath
Easily navigable DSLsofMath code
cyberglot/elmstatic-hyde
cyberglot/handlers-in-ott
Effect handlers in Ott
cyberglot/hands-on-rust
cyberglot/jsq
Metaprogramming JavaScript... in Haskell. A fork of jmacro
cyberglot/lean4-playground
cyberglot/learning-plt-redex
cyberglot/MetaprogAgda
being the materials for Summer 2013's course
cyberglot/prog-quangle
A programming quangle is a quangle of programming type.
cyberglot/typed-lvar
semantics, typing rules and proofs of a call-by-value parallel calculus with LVars.
cyberglot/unicorn
Purely functional GUI algebra
cyberglot/locm-proto
cyberglot/ART-2023-Fitzgerald-Centelles-VampIR-Bestiary
cyberglot/ART-2023-Hart-Rethinking-VampIR
cyberglot/devenv
Fast, Declarative, Reproducible, and Composable Developer Environments
cyberglot/devenv-haskell-error
cyberglot/jsonresume-theme-sceptile
An uber-sceptile JSONResume theme
cyberglot/macOS.nix
A collection of system configurations, expressed in Nix
cyberglot/type-inference
Unification and type inference algorithms
cyberglot/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits