Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
Agda-Hacking-Notes
CeibaDrive
Make your Ceiba a ultimate cloud.
FacebookSanitizer
This extension sanitizes your Facebook.
g0v-digest
API for g0v.news
GNOJudge
GNOJudge - GNO's Not Only Judge System.
HappyChickenYear
A Lunar New Year greeting, in Chicken, with delicious Chicken Wrapper.
MOlang
Simple imperative language trying to simulate C++ concurrency with memory orders considered. Concurrency is handled as algebraic effect.
Type-Embellishment
Experimenting on ornamentation in Agda via reflection.
Zekt's Repositories
Zekt/Type-Embellishment
Experimenting on ornamentation in Agda via reflection.
Zekt/MOlang
Simple imperative language trying to simulate C++ concurrency with memory orders considered. Concurrency is handled as algebraic effect.
Zekt/agda
Agda is a dependently typed programming language / interactive theorem prover.
Zekt/Agda-Hacking-Notes
Zekt/eclair-example
Zekt/g0v-digest
API for g0v.news
Zekt/TypedSorts
Demostration of merge sort in functional languages
Zekt/.dotfiles
Zekt/artifact-22
Zekt/Blog
Zekt/cdflash-proof
Zekt/dafny-bodies
Zekt/dafny-slides
Zekt/Emacs-Agda-Dark-Theme
Dark Mode Agda Highlighting for Spacemacs and Emacs.
Zekt/galois-field
Finite field and algebraic extension field arithmetic
Zekt/Generic-Scoped-Syntax
Re-formalisation, generalisation and translation of A Type- and Scope- Safe Universe of Syntaxes with Binding (https://arxiv.org/abs/2001.11001)
Zekt/guabao
Zekt/hakyll
A static website compiler library in Haskell
Zekt/HalogenCard
Zekt/homebrew-tap
Homebrew Formulae I'm Tired of Maintainin'
Zekt/idris-practice
Zekt/keelung
The Keelung Language
Zekt/keelung-compiler
Compiler of Keelung
Zekt/keelung-examples
Examples & tutorial
Zekt/keelung-stdlib
Standard Library of Keelung
Zekt/LambdaCool
To show that lambda is cool.
Zekt/Langs
Zekt/nix
Zekt/openzl
Zero-Knowledge Cryptography Infrastructure Stack
Zekt/TyDe-Talk