esilkensen Goto Github PK

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.

codeclimate-eastwood

codeclimate-prototool-lint

Code Climate Engine for Prototool Lint

contribution

some useful sources that should not stay in main repo but it is good to host them

coq

Coq playground

cwc

A Redex model for The Essence of Compiling with Continuations.

definitelytyped

The repository for high quality TypeScript type definitions.

docker-protoc

Docker images for generating protocol buffer definitions

esc

A tool for designing composable DSLs.

esilkensen.github.io

eslint

A fully pluggable tool for identifying and reporting on patterns in JavaScript

exercises

Some basic javascript coding challenges and interview questions

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

j-bob

lambdachair

A simple conference review system.

pfds

Purely Functional Data Structures

secure

Racket with Dynamic IFC.

testdriven-app

ts-protoc-gen

Protocol Buffers Compiler (protoc) plugin for TypeScript and gRPC-Web.

yaml

A YAML library for Racket.