Pinned Repositories
agda-bench
Benchmarking tool for compile-time performance of Agda programs
agda-prelude
Programming library for Agda
agda-summer-school
Summer school on programming in Agda
aim23-talk
category-theory-experiments
curves
Haskell library for drawing pretty pictures
effects
Porting the Idris Effects library to Agda
insane
Toy typechecker for Insanely Dependent Types
quasi-quote
Quasi-quoting library for agda
x86-agda
Inline, type safe X86-64 assembly programming in Agda
UlfNorell's Repositories
UlfNorell/agda-prelude
Programming library for Agda
UlfNorell/insane
Toy typechecker for Insanely Dependent Types
UlfNorell/agda-summer-school
Summer school on programming in Agda
UlfNorell/x86-agda
Inline, type safe X86-64 assembly programming in Agda
UlfNorell/agda-bench
Benchmarking tool for compile-time performance of Agda programs
UlfNorell/quasi-quote
Quasi-quoting library for agda
UlfNorell/category-theory-experiments
UlfNorell/curves
Haskell library for drawing pretty pictures
UlfNorell/effects
Porting the Idris Effects library to Agda
UlfNorell/aim23-talk
UlfNorell/agda-cufp
CUFP tutorial 2014
UlfNorell/agda-logo
UlfNorell/agda-tactics
UlfNorell/categories
Categories parametrized by morphism equality, in Agda
UlfNorell/version
Utility program for version switching
UlfNorell/agda-nofib
Benchmark programs for Agda
UlfNorell/agda-readline
Bindings to editline
UlfNorell/me-em
Model Examples, Example Models
UlfNorell/agda
Agda is a dependently typed programming language / interactive theorem prover.
UlfNorell/agda-criterion
Agda bindings to the Criterion benchmark library
UlfNorell/agda-stdlib
The Agda standard library
UlfNorell/agda-test
Agda test
UlfNorell/github-action-playground
UlfNorell/Gradualizer
UlfNorell/Primes
Prime number generator in Agda
UlfNorell/purescript-thermite-example
An example application using PureScript's Thermite on top of React.
UlfNorell/row-types
A Haskell library for open records and variants using closed type families and type literals
UlfNorell/sc2-proto
Protobuf bindings to the StarCraft 2 API
UlfNorell/schmitty
Agda bindings to SMT-LIB2 compatible solvers.
UlfNorell/statem-laws
Using quickspec on stateful code