lemastero

scala_typeclassopedia

Abstractions from Category theory with simple description & implementation, links to further resources.

Triglav

Profunctor optics in Scala, arrows, modular approach to abstractions in category theory

agda-hott

Notes on Homotopy Type Theory in Agda

agda2rust

Rust Agda backend.

agda-verified-fp-algos

trifunctors

algorithms

Implementation of some algorithms in Scala using TDD.

Idris-Trifunctors

Trifunctors in Idris

agda-hello

Simple Agda example with nix flake

agda-stdlib

The Agda standard library

agda2scala

agda2scheme

Compiler backend for generating Scheme code

atom

:atom: The hackable text editor

awesome-zk

A curated list of awesome ZK resources, libraries, tools and more.

coding-dojo

Code and documentation on IOG coding dojo

idris-hello

lemastero

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

minikanren-confo

core.logic.nominal at the minikanren confo 2013

mpl

Computer Algebra and Symbolic Computation for R6RS Scheme

nix

Nix, the purely functional package manager

rough-draft

A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.

scala

Exercism exercises in Scala.

setup

Setting up GHC, cabal, stack on for Haskell-related CIs

stdlib-meta

Meta-programming utilities for Agda.

transact-xcm-moonbeam-demo

wild-magic

zkhack-lisbon

zkhack-scaffold

A scaffolded repo for hacking on Polygon Miden during zkHack

zkp-tests

Playing with zero-knowledge proof languages