pnwamk

Software Development Engineer @ AWS Programming Languages PhD

@AWSPortland, OR

Pinned Repositories

datatype
(Somewhat) Algebraic Data Types for Racket
Language:Racket34 7 56
ddict
Language:Racket3 2 11
lean4-assert-command
A simple assertion command for Lean4
Language:Lean8 3 02
simple-sst-model
Simple Semantic Subtyping in Haskell
Language:Haskell7 3 02
sst-tutorial
Language:Racket16 3 34
stop2015
Language:Racket5 3 00
stop2015-redex
PLT Redex model of basic Dependently Typed Racket calculus
Language:Racket18 3 02
tr-calc
Representations of the core calculi for Typed Racket
Language:Racket6 5 01
typed-racket
Andrew's Typed Racket fork
Language:Racket4 4 01
typeset-rewriter
simple, low level rewriters for PLT Redex typesetting
Language:Racket5 3 12

pnwamk's Repositories

pnwamk/datatype
(Somewhat) Algebraic Data Types for Racket
Language:Racket34 7 56
pnwamk/sst-tutorial
Language:Racket16 3 34
pnwamk/lean4-assert-command
A simple assertion command for Lean4
Language:Lean8 3 02
pnwamk/typeset-rewriter
simple, low level rewriters for PLT Redex typesetting
Language:Racket5 3 12
pnwamk/lean4-dev-goodies
Useful scripts for working with multiple Lean4 installs
Language:Shell2 2 0
pnwamk/pie
The Pie language (with `let` and `equal`)
Language:Racket2 2 01
pnwamk/define-with-spec
Macro for adding simple specifications to function definitions.
Language:Racket1 2 2
pnwamk/lean4-ranges
Language:Lean1 2 0
pnwamk/approval-test
0 0
pnwamk/argo
A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
Language:Python1 0
pnwamk/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell1 0
pnwamk/crucible
Crucible is a library for symbolic simulation of imperative programs
Language:Haskell0 0
pnwamk/cryptol
Cryptol: The Language of Cryptography
Language:Haskell1 0
pnwamk/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT1 0
pnwamk/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Language:ANTLR1 0
pnwamk/lean-llvm
LLVM support for the lean theorem prover
Language:Lean0 0
pnwamk/lean4
Lean4 work in progress repo
Language:Lean1 0
pnwamk/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
pnwamk/lean4-intn
Lean4 Experimental IntN implementation
Language:Lean
pnwamk/llvm-pretty
An llvm pretty printer inspired by the haskell llvm binding
Language:Haskell0 0
pnwamk/markdown-link-check-test
1 0
pnwamk/misc-lean
Misc. Lean code
Language:Lean1 0
pnwamk/pqcrypto
👻 Post-quantum cryptography for Python.
Language:C0 0
pnwamk/renovate
A library for binary analysis and rewriting
pnwamk/reopt-vcg
A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
Language:NASL1 0
pnwamk/s2n
s2n : an implementation of the TLS/SSL protocols
Language:C1 0
pnwamk/simple-get-opt
A simple library for processing command-line options to Haskell programs.
Language:Haskell1 0
pnwamk/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++0 0
pnwamk/souffle-lang.github.io
Soufflé
Language:HTML0 0
pnwamk/xml
🔋 In-place lightweight XML parser
Language:C1 0