Pinned Repositories
advent-of-code
auth
A semantic notion of authority.
aws-sdk-js
AWS SDK for JavaScript in the browser and Node.js
aws-xray-sdk-node
The official AWS X-Ray SDK for Node.js.
breeze
checkstyle
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
cmm
A Redex model for Contracts Made Manifest.
cwc
A Redex model for The Essence of Compiling with Continuations.
secure
Racket with Dynamic IFC.
yaml
A YAML library for Racket.
esilkensen's Repositories
esilkensen/yaml
A YAML library for Racket.
esilkensen/cwc
A Redex model for The Essence of Compiling with Continuations.
esilkensen/secure
Racket with Dynamic IFC.
esilkensen/advent-of-code
esilkensen/auth
A semantic notion of authority.
esilkensen/aws-sdk-js
AWS SDK for JavaScript in the browser and Node.js
esilkensen/aws-xray-sdk-node
The official AWS X-Ray SDK for Node.js.
esilkensen/breeze
esilkensen/checkstyle
Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
esilkensen/cmm
A Redex model for Contracts Made Manifest.
esilkensen/codeclimate-eastwood
esilkensen/codeclimate-prototool-lint
Code Climate Engine for Prototool Lint
esilkensen/contribution
some useful sources that should not stay in main repo but it is good to host them
esilkensen/coq
Coq playground
esilkensen/DefinitelyTyped
The repository for high quality TypeScript type definitions.
esilkensen/docker-protoc
Docker images for generating protocol buffer definitions
esilkensen/esc
A tool for designing composable DSLs.
esilkensen/esilkensen.github.io
esilkensen/eslint
A fully pluggable tool for identifying and reporting on patterns in JavaScript
esilkensen/exercises
Some basic javascript coding challenges and interview questions
esilkensen/flow
Adds static typing to JavaScript to improve developer productivity and code quality.
esilkensen/j-bob
esilkensen/lambdachair
A simple conference review system.
esilkensen/pfds
Purely Functional Data Structures
esilkensen/testdriven-app
esilkensen/ts-protoc-gen
Protocol Buffers Compiler (protoc) plugin for TypeScript and gRPC-Web.