pnwamk Goto Github PK
Name: Andrew Kent
Type: User
Company: @AWS
Bio: Software Development Engineer @ AWS Programming Languages PhD
Twitter: pnwamk
Location: Portland, OR
Blog: http://pnwamk.github.io
Name: Andrew Kent
Type: User
Company: @AWS
Bio: Software Development Engineer @ AWS Programming Languages PhD
Twitter: pnwamk
Location: Portland, OR
Blog: http://pnwamk.github.io
Advent of Code related things
Provides an interface for AIGs and word-level operations on them
Attestation Identity Key (AIK) tools
A bibliography on Gradual Typing
home page & blog
A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW
Simple HTML+MathJax blog posts
A Racket literate programming system without tangling
Bumpo board game
Official upstream development repository for Cabal and cabal-install
Crucible is a library for symbolic simulation of imperative programs
Cryptol: The Language of Cryptography
Resume/CV
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
(Somewhat) Algebraic Data Types for Racket
Macro for adding simple specifications to function definitions.
Developing projects using enhanced nix configuration for dependencies and Hydra CI
Deterministic sets
some little security tinkering
some Homotopy Type Theory tidbits
For more beautiful Ruby
Fourier-Motzkin Elimination in Racket
Semantic Subtyping, Function Application Inversion, etc
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Homotopy type theory
lightweight hash sets for Racket
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.