beezee Goto Github PK

plfa

wow agda is amazing

pods-geocomplete-field

Adds GeoComplete as a field option in WP Pods framework (http://ubilabs.github.io/geocomplete/)

pomodoro

Web based pomodoro timer

pomotodoro

Pomodoro + Todo

postbetween-dsl

A DSL around a Sinatra app for transforming and forwarding incoming requests

private_messager

Generic private messaging lib for email-like functionality

probabilistic-programming-and-bayesian-methods-for-hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

proof

Using agda for book exercises

property-testing-with-idempotents

Presentation on property testing

py-foldadt

Just some adt support that mypy can help out with

py-fp

low-trickery, principled programming backed by mypy

py-json-typed

Typed (applicative) json parsing in python

pydantic

Data parsing and validation using Python type hints

python-types-talk

Using types for fun and profit

quickcheck-spy

Generated IO Kleislis with spy powers for "mocking" in property tests

r-dailyprogrammer

Random challenges from the dailyprogrammer subreddit

rails-tutorial

rawgithub

rawgithub.com serves files from raw.github.com, but with the correct content types.

redbean

ORM layer that creates models, config and database on the fly

refactoringtutorials

Interactive refactoring tutorials

refactoringtutorials_public

refactoring tutorials public repo

resume_junk

Resumes generated using the GitHub informations

rigorous-programming

Presentation about being responsible

ruby_type_hinting

Add type safety to your ruby code, if you're into that sort of thing

sails-boilerplate

Starting point with passport local configured and passport-local policies applied

sample_app_rails_4

The reference implementation of the sample app for the Ruby on Rails Tutorial (Rails 4)

scala-pools

A nicer api for Apache GenericObjectPools in Scala

scalaz

An extension to the core Scala library for functional programming.

scalaz-validation-example

Just some dumb code

scalaz-writer-validation-example

Example of using writer with validation