Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-mode-vscode
agda-mode on VS Code
agda2c
Agda to C compiler
bubs
Implementations of Shivers & Wand 's BUBS algorithm
c-in-agda
Subset of C embedded in Agda
find-cycles
Analyse dependency cycles in Haskell source code
haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
hello-gloss-agda
Example agda project with non-trivial Haskell and system dependencies
HVM
A massively parallel, optimal functional runtime in Rust
rpphp
Raspberry Pi Pico HVM Platform
lawcho's Repositories
lawcho/agda2c
Agda to C compiler
lawcho/rpphp
Raspberry Pi Pico HVM Platform
lawcho/bubs
Implementations of Shivers & Wand 's BUBS algorithm
lawcho/c-in-agda
Subset of C embedded in Agda
lawcho/find-cycles
Analyse dependency cycles in Haskell source code
lawcho/hello-gloss-agda
Example agda project with non-trivial Haskell and system dependencies
lawcho/agda
Agda is a dependently typed programming language / interactive theorem prover.
lawcho/agda-mode-vscode
agda-mode on VS Code
lawcho/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
lawcho/HVM
A massively parallel, optimal functional runtime in Rust
lawcho/nixpkgs
Nix Packages collection & NixOS
lawcho/pandoc
Universal markup converter
lawcho/pandoc-url2cite
Effortlessly and transparently add correctly styled citations to your markdown paper given only a URL
lawcho/simple-refinement-types-agda
Formalization of two simple refinement type systems, in agda
lawcho/skylighting
A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
lawcho/uu-afp.github.io
UU AFP Summer School Homepage