josephjunker

TypeScript developer, functional programming fan. I build tooling.

Pinned Repositories

coquille
Interactive theorem proving with Coq in vim.
Language:Vim script2 0 00
examples
Example code for my blog posts
Language:TypeScript0 0 00
free-monads-js
Utilities for writing JS code with free monads, without needing to know what a monad is
Language:JavaScript2 2 00
irresponsible-use-of-js-destructuring
Write entire programs in a destructuring statement!
Language:JavaScript4 0 00
kaolin-graphs
Draw diagrams based on kaolin schemas
Language:JavaScript2 0 00
kaolin-js
Tools for validating, documenting, and combining data schemas in JavaScript
Language:JavaScript4 0 90
medium-post-sample-code
Sample code from my medium posts
Language:JavaScript7 3 01
node-denormalize-entity
A small utility to denormalize reads and writes to an entity stored in arbitrary locations
Language:JavaScript2 0 00
static-land-recursion-schemes
Javascript recursion schemes compatible with flow-static-land
Language:JavaScript22 0 01

josephjunker's Repositories

josephjunker/static-land-recursion-schemes
Javascript recursion schemes compatible with flow-static-land
Language:JavaScript22 0 01
josephjunker/medium-post-sample-code
Sample code from my medium posts
Language:JavaScript7 3 01
josephjunker/irresponsible-use-of-js-destructuring
Write entire programs in a destructuring statement!
Language:JavaScript4 0 00
josephjunker/kaolin-js
Tools for validating, documenting, and combining data schemas in JavaScript
Language:JavaScript4 0 90
josephjunker/coquille
Interactive theorem proving with Coq in vim.
Language:Vim script2 0 00
josephjunker/free-monads-js
Utilities for writing JS code with free monads, without needing to know what a monad is
Language:JavaScript2 2 00
josephjunker/kaolin-graphs
Draw diagrams based on kaolin schemas
Language:JavaScript2 0 00
josephjunker/node-denormalize-entity
A small utility to denormalize reads and writes to an entity stored in arbitrary locations
Language:JavaScript2 0 00
josephjunker/brighterscript
A superset of Roku's BrightScript language
Language:TypeScript1 0 0
josephjunker/xsdts
TypeScript types and utilities for working with XML Schemas
Language:TypeScript1 0 0
josephjunker/examples
Example code for my blog posts
Language:TypeScript0 0 00
josephjunker/advent-of-code-2021
Solutions to the advent of code
Language:Dafny0 0
josephjunker/awesome-recursion-schemes
Resources for learning and using recursion schemes.
0 0
josephjunker/bsc-plugin-template
A template project for creating new brighterscript plugins
josephjunker/describe-json
Algebraic data types and pattern matching for JSON
Language:CoffeeScript2 0
josephjunker/finitio.js
Finitio - In JavaScript
Language:CoffeeScript
josephjunker/flow-static-land
Implementation of common algebraic types in JavaScript + Flow
Language:JavaScript0 0
josephjunker/godaddy-test-tools
gulp tools for testing node libraries with mocha and istanbul as well as linting using godaddy-style.
Language:JavaScript0 0
josephjunker/gulp-nearley
Gulp plugin for compiling parsers written with the nearley parser library
Language:JavaScript0 01
josephjunker/icecream
Distributed compiler with a central scheduler to share build load
Language:C++0 0
josephjunker/javascript
The official GoDaddy JavaScript styleguide.
Language:JavaScript1 0
josephjunker/learning-ocaml
A project that I'm using to learn ocaml
Language:OCaml
josephjunker/mazes4programmers-ts
Typescript implementation of algorithms from the book "Mazes for Programmers"
Language:TypeScript1 0
josephjunker/nearley
Simple, fast, powerful parser toolkit for JavaScript.
Language:JavaScript0 0
josephjunker/node-soap
A SOAP client and server for node.js.
Language:JavaScript0 0
josephjunker/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
josephjunker/reasonml.github.io
Reason's documentation site
Language:HTML0 0
josephjunker/rushjs.io-website
GitHub Pages website for https://rushjs.io
Language:HTML0 0
josephjunker/rushstack
Monorepo for tools developed by the Rush Stack community
Language:TypeScript0 0
josephjunker/tsdoc
A doc comment standard for TypeScript
Language:TypeScript0 0