Pinned Repositories
alg
aoc-2018
Advent of code 2018
arrow-fsm
Playing with the arrow library with a simple FSM
certified-programming
dhall-to-jenkinsfile
Compile Dhall expressions to pipeline Jenkinsfiles
jira-emailnotify
A JIRA plugin to send notification emails upon JIRA events.
lean4-leetcode
raylean
Lean4 bindings for raylib
the-little-typer
Resources for "The Little Typer" study group
paulcadman's Repositories
paulcadman/lean4-leetcode
paulcadman/raylean
Lean4 bindings for raylib
paulcadman/megajuvix
mega Juvix, mega kakon
paulcadman/alpine-haskell-stack
paulcadman/analogue
paulcadman/catala
Programming language for literate programming law specification
paulcadman/data.xml
paulcadman/emacs
Mirror of GNU Emacs
paulcadman/gen-anoma-keys
Generate ED25519 keys for use in an Anoma/Juvix program
paulcadman/gradual-typing-in-agda
Formalizations of Gradually Typed Languages in Agda
paulcadman/halo2-hs
Haskell bindings to https://github.com/zcash/halo2
paulcadman/hid-examples
Examples to accompany the book "Haskell in Depth"
paulcadman/homebrew-juvix
Homebrew tap for installing the Juvix compiler
paulcadman/juvix-by-example
Examples that illustrate the Juvix language
paulcadman/juvix-containers
Immutable container types for Juvix
paulcadman/juvix-nightly-builds
paulcadman/juvix-test
A testing framework for Juvix
paulcadman/lean4
Lean 4 programming language and theorem prover
paulcadman/lmt
literate markdown tangle
paulcadman/Misc-Lisp-Scripts
paulcadman/optics-zurihac-2021
paulcadman/order-taking
Idris version of Domain Modeling Made Function Book.
paulcadman/pattern-matcher
A fork of https://gitlab.com/chupin/pattern-matcher
paulcadman/poly
paulcadman/tapl
Formalizations of TAPL in Coq
paulcadman/traits
paulcadman/unison
A friendly programming language from the future
paulcadman/unison-parser
paulcadman/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
paulcadman/well-typed-agda-interpreter
A well typed interpreter for the simply-typed lambda calculus written in Agda