lemastero
Apply formal methods, category theory, type theory to build: blockchains / compilers / big data in Scala / Haskell / Idris / Agda @ScalaConsultants
Lublin
Pinned Repositories
agda-hott
Notes on Homotopy Type Theory in Agda
agda-smash
smash product in Agda
agda2rust
Rust Agda backend.
agda2scala
Scala 2 and Scala 3 backend for Agda
applied-category-theory-reading-club
concurrency_parallelism_effects
concurrency parallelism effects wiki
contravariant_profunctor_exercises
kafka-manager
A tool for managing Apache Kafka.
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
lemastero's Repositories
lemastero/scala_typeclassopedia
Abstractions from Category theory with simple description & implementation, links to further resources.
lemastero/Triglav
Profunctor optics in Scala, arrows, modular approach to abstractions in category theory
lemastero/agda-hott
Notes on Homotopy Type Theory in Agda
lemastero/agda2rust
Rust Agda backend.
lemastero/agda-verified-fp-algos
lemastero/trifunctors
lemastero/agda2scala
Scala 2 and Scala 3 backend for Agda
lemastero/algorithms
Implementation of some algorithms in Scala using TDD.
lemastero/Idris-Trifunctors
Trifunctors in Idris
lemastero/agda-hello
Simple Agda example with nix flake
lemastero/agda-stdlib
The Agda standard library
lemastero/agda2scheme
Compiler backend for generating Scheme code
lemastero/atom
:atom: The hackable text editor
lemastero/awesome-zk
A curated list of awesome ZK resources, libraries, tools and more.
lemastero/coding-dojo
Code and documentation on IOG coding dojo
lemastero/idris-hello
lemastero/lemastero
lemastero/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
lemastero/minikanren-confo
core.logic.nominal at the minikanren confo 2013
lemastero/mpl
Computer Algebra and Symbolic Computation for R6RS Scheme
lemastero/nix
Nix, the purely functional package manager
lemastero/rough-draft
A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.
lemastero/scala
Exercism exercises in Scala.
lemastero/setup
Setting up GHC, cabal, stack on for Haskell-related CIs
lemastero/stdlib-meta
Meta-programming utilities for Agda.
lemastero/transact-xcm-moonbeam-demo
lemastero/wild-magic
lemastero/zkhack-lisbon
lemastero/zkhack-scaffold
A scaffolded repo for hacking on Polygon Miden during zkHack
lemastero/zkp-tests
Playing with zero-knowledge proof languages