-
clean Public
Forked from Verified-zkEVM/cleanLean circuit DSL
Lean MIT License UpdatedOct 23, 2025 -
arith-circ Public
Domain-specific language for building arithmetic circuits
Haskell MIT License UpdatedAug 21, 2025 -
-
-
-
lurk Public
Forked from lurk-lab/lurkLurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Rust MIT License UpdatedMar 24, 2025 -
noname Public
Forked from zksecurity/nonameNoname: a programming language to write zkapps
Rust UpdatedMar 3, 2025 -
snarky Public
Forked from o1-labs/snarkyOCaml DSL for verifiable computation
HTML MIT License UpdatedApr 16, 2019 -
-
Haskell-List-Transformer-Library Public
Forked from Gabriella439/list-transformerList monad transformer
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 22, 2017 -
-
docker-lab Public
Forked from ivanmoore/docker-labstarter files for the docker/docker compose lab
Shell UpdatedJan 19, 2017 -
release-and-deploy Public
APE exercise on Release and Deployment
HTML MIT License UpdatedJan 19, 2017 -
JPhotoAlbum Public
Forked from rchatley/JPhotoAlbumLegacy codebase for exercises in introducing seams.
Java GNU General Public License v2.0 UpdatedJan 18, 2017 -
Weather Public
Forked from rchatley/WeatherStarting point for system integration exercises.
Java UpdatedJan 18, 2017 -
Camera Public
Forked from rchatley/CameraSkeleton project for mock objects exercises
Java UpdatedJan 17, 2017 -
SimpleWebApp Public
Forked from rchatley/SimpleWebAppA simple Java web app using Jetty
Java UpdatedJan 16, 2017 -
RecentlyUsedList Public
Forked from rchatley/TddSkeletonSkeleton project for Java TDD exercises
Java UpdatedJul 10, 2016 -
RefactoringGolf Public
Forked from rchatley/RefactoringGolfRefactoring Golf Exercise (inspired by Dave Cleal, Ivan Moore and Mike Hill)
Java UpdatedDec 28, 2015
{{ message }}