Pinned Repositories
haskell-challenges
Code challenges to solve with Haskell
sketches
A Haskell blog
Cubes
A dependently typed type checker for a TT with intervals
Eff
Experiments with effect systems
Generic
A library for doing generic programming in Agda
inference-in-agda
A tutorial on how Agda infers things
OTT
Observational Type Theory as an Agda library
prefolds
Composable monadic short-circuiting streaming folds
random-stuff
STLC
Dependently typed Algorithm M and friends
effectfully's Repositories
effectfully/inference-in-agda
A tutorial on how Agda infers things
effectfully/Generic
A library for doing generic programming in Agda
effectfully/STLC
Dependently typed Algorithm M and friends
effectfully/Cubes
A dependently typed type checker for a TT with intervals
effectfully/prefolds
Composable monadic short-circuiting streaming folds
effectfully/random-stuff
effectfully/proto-tt
effectfully/tiny-lang
effectfully/leetcode-haskell
effectfully/monad-var
Generic operations over variables
effectfully/agda-html-to-md
A tiny tool that takes output of `htmlize` and turns it into a markdown text consumable by `pandoc`
effectfully/req-blowup
effectfully/agda
Agda is a dependently typed programming language / interactive theorem prover.
effectfully/agda-stdlib
The Agda standard library
effectfully/delete-largest
effectfully/fastdogs
effectfully/flat
Principled and efficient binary serialization
effectfully/git-undo-el
A command for Emacs to regress or "undo" a region back through its Git history
effectfully/haskell-challenges
Code challenges to solve with Haskell
effectfully/HaskPascEuler
effectfully/hasktags-emacs
An automated TAGS generator for emacs for easier traversal of haskell code
effectfully/iterations-leak
effectfully/non-constant-memory
showcase for conduit on non-constant memory usage
effectfully/ops-lib
NixOps deployment configuration library for IOHK devops
effectfully/plutus-core-semantics
effectfully/plutus-prototype
effectfully/registry
effectfully/universum
:milky_way: Prelude used in @Serokell
effectfully/vec
Nat, Fin, Vec
effectfully/zkbec