Pinned Repositories
bcmets
Source code for http://www.bcmets.org/
cardelli
Cardelli type inferencer translated to Javascript
jstype
Playing at writing a Javascript compiler
khanren
µKanren in Haskell
milner-type-poly
parallel_tests
Rails: 2 CPUs = 2x Testing Speed for RSpec, Test::Unit and Cucumber
pfpl-langkit
Web playground for Gödel's System T - http://larks.petebevin.com/primrec/
systemt
Implementation of System T, as in Practical Foundations for Programming Languages chapter 9.
wf
Word Finder
wordfun
Tools for solving cryptic crosswords: https://www.wordfun.ca/
pbevin's Repositories
pbevin/pfpl-langkit
Web playground for Gödel's System T - http://larks.petebevin.com/primrec/
pbevin/jstype
Playing at writing a Javascript compiler
pbevin/khanren
µKanren in Haskell
pbevin/systemt
Implementation of System T, as in Practical Foundations for Programming Languages chapter 9.
pbevin/hypermail
Personal fork of Hypermail, as used at http://bclist.petebevin.com/
pbevin/vim
Personal VIM settings
pbevin/babel-plugin-typecheck
Static and runtime type checking for JavaScript in the form of a Babel plugin.
pbevin/bloop
Automatically exported from code.google.com/p/bloop
pbevin/duplicate-images
A script to find and delete duplicate images using pHash.
pbevin/Ghost
Just a blogging platform
pbevin/Grimy.github.io
pbevin/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
pbevin/hyprx
Like hyperscript, but with more bells and whistles
pbevin/NormalOrderingOperators
Normal ordering operations for quantum field theory
pbevin/numberchains
Investigate 538 puzzle number chains.
pbevin/projects
pbevin/protolude
A sensible starting Prelude template.
pbevin/react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
pbevin/react-moment-proptypes
React proptype validator for moment.js
pbevin/react-webpack-rails-tutorial
Example of integration of Rails, react, redux, using the react_on_rails gem, webpack, enabling the es7 and jsx transpilers, and node integration. Live Demo:
pbevin/reading-material
PDFs!
pbevin/reduce-css-calc
Reduce CSS calc() function at the maximum
pbevin/redux
Predictable state container for JavaScript apps
pbevin/sgb
Stanford GraphBase
pbevin/shunting
Shunting yard algorithm, https://en.wikipedia.org/wiki/Shunting-yard_algorithm
pbevin/SMRTYPRTY
We read computer science books for fun. This is where the secret notes live.
pbevin/stackage
"Stable Hackage": vetted consistent packages from Hackage
pbevin/thesaurus
pbevin/transmission
Transmission docker container
pbevin/vim-goggles