Pinned Repositories
angular-dotdotot
Angular directive for applying the dotdotdot jquery plugin- http://dotdotdot.frebsite.nl/
bones-responsive
A Responsive Version of Bones based off the 320 and Up Extension and HTML5 Boilerplate - djaxified
Bumper
Self hosted nudgemail/boomerang. Put off emails you aren't ready to deal with by scheduling them to be resent later
Bumper-deprecated
self hosted followup.cc/nudgemail for privacy fanatics
djax
Dynamic pjax, responds to layout changes across requested pages
jqueryScrape
easy and light weight scraping and parsing of remote content using jQuery
kleisli-run
Do notation for the monads provided by the Kleisli gem - https://github.com/txus/kleisli
multiarmedbandit
Implements multi armed bandit algorithm
phuph
doc/tutorial generator for php
wp-phinx
Proper database migrations for WordPress using Phinx
beezee's Repositories
beezee/fibrecheck
Property testing via equivalence classes derived from fibrations
beezee/proof
Using agda for book exercises
beezee/applied-fp-course
Applied Functional Programming Course - Move from exercises to a working app!
beezee/arr
Yet another category theory lib for scala. Prioritizing representable subcategories and exofunctors.
beezee/derive-ts
Composable "typeclass" derivation in typescript
beezee/deriving-ts
Type directed "typeclass" derivation in TypeScript
beezee/evalenv
Type safe and ergonomic Python library providing a quasi-mtl-stack of MonadReaderWriterState with MonadError
beezee/fb-post-bulk-privacy-edit
A script to bulk edit Facebook post privacy settings
beezee/freer-safely
Structured, exhaustive, exception-resilient logging using freer-effects
beezee/gps
A Haskell GPS library
beezee/graphql-code-generator
A tool for generating code based on a GraphQL schema and GraphQL operations (query/mutation/subscription), with flexible support for custom plugins.
beezee/json-persistent-filter
persistent filters go to and from json using aeson
beezee/kafkernetes
auto-scaling kubernetes consumer clusters, auto-sizing kafka retention policies
beezee/kpy
well typed kafka
beezee/live-py-plugin
Live coding in Python with PyCharm, Emacs, or Eclipse.
beezee/mypy
Optional static typing for Python 3 and 2 (PEP 484)
beezee/node-ts-sandbox
beezee/payload
The best way to build a modern backend + admin UI. No black magic, all TypeScript, and fully open-source, Payload is both an app framework and a headless CMS.
beezee/plfa
wow agda is amazing
beezee/property-testing-with-idempotents
Presentation on property testing
beezee/py-foldadt
Just some adt support that mypy can help out with
beezee/py-fp
low-trickery, principled programming backed by mypy
beezee/py-json-typed
Typed (applicative) json parsing in python
beezee/pydantic
Data parsing and validation using Python type hints
beezee/python-types-talk
Using types for fun and profit
beezee/QuickCheck-spy
Generated IO Kleislis with spy powers for "mocking" in property tests
beezee/qwick-refactor
Just a qwick refactoring exercise...
beezee/study
just some math
beezee/topoy
Mypy friendly, principled functional python
beezee/wyah
Eventually the snake eats its tail