Skip to content
View beezee's full-sized avatar
36 followers · 17 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2

Highlights

  • Pro
Block or Report

Block or report beezee

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • qwick-refactor Public

    Just a qwick refactoring exercise...

    TypeScript MIT License Updated Mar 30, 2024

  • payload Public

    Forked from payloadcms/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.

    TypeScript MIT License Updated Jan 14, 2024

  • node-ts-sandbox Public

    TypeScript MIT License Updated Jan 7, 2023

  • QuickCheck-spy Public

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

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 10, 2022

  • freer-safely Public

    Structured, exhaustive, exception-resilient logging using freer-effects

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 2, 2022

  • json-persistent-filter Public

    persistent filters go to and from json using aeson

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 1, 2022

  • gps Public

    Forked from TomMD/gps

    A Haskell GPS library

    Haskell BSD 3-Clause "New" or "Revised" License Updated May 30, 2021

  • kpy Public

    well typed kafka

    Python Updated Apr 20, 2021

  • fb-post-bulk-privacy-edit Public

    Forked from pellaeon/fb-post-bulk-privacy-edit

    A script to bulk edit Facebook post privacy settings

    Python Updated Apr 17, 2021

  • deriving-ts Public

    Type directed "typeclass" derivation in TypeScript

    TypeScript MIT License Updated Jan 4, 2021

  • derive-ts Public

    Composable "typeclass" derivation in typescript

    TypeScript MIT License Updated Dec 20, 2020

  • proof Public

    Using agda for book exercises

    Agda 1 Updated Oct 7, 2020

  • graphql-code-generator Public

    Forked from dotansimha/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.

    TypeScript MIT License Updated Oct 4, 2020

  • pydantic Public

    Forked from pydantic/pydantic

    Data parsing and validation using Python type hints

    Python MIT License Updated Jul 3, 2020

  • plfa Public

    wow agda is amazing

    Agda Updated Jun 11, 2020

  • evalenv Public

    Type safe and ergonomic Python library providing a quasi-mtl-stack of MonadReaderWriterState with MonadError

    Python Updated May 31, 2020

  • topoy Public

    Mypy friendly, principled functional python

    Python Updated May 26, 2020

  • property-testing-with-idempotents Public

    Presentation on property testing

    TeX Updated Apr 17, 2020

  • study Public

    just some math

    TeX Updated Mar 8, 2020

  • wyah Public

    Eventually the snake eats its tail

    Haskell BSD 3-Clause "New" or "Revised" License Updated Feb 15, 2020

  • python-types-talk Public

    Using types for fun and profit

    CSS Updated Dec 9, 2019

  • mypy Public

    Forked from python/mypy

    Optional static typing for Python 3 and 2 (PEP 484)

    Python Other Updated Nov 14, 2019

  • live-py-plugin Public

    Forked from donkirkby/live-py-plugin

    Live coding in Python with PyCharm, Emacs, or Eclipse.

    Python MIT License Updated Nov 8, 2019

  • py-json-typed Public

    Typed (applicative) json parsing in python

    Python Updated Nov 2, 2019

  • py-foldadt Public

    Just some adt support that mypy can help out with

    Python Updated Oct 27, 2019

  • fibrecheck Public

    Property testing via equivalence classes derived from fibrations

    Python 1 Updated Oct 21, 2019

  • py-fp Public

    low-trickery, principled programming backed by mypy

    Python Updated Oct 12, 2019

  • kafkernetes Public

    auto-scaling kubernetes consumer clusters, auto-sizing kafka retention policies

    Updated Oct 11, 2019

  • arr Public

    Yet another category theory lib for scala. Prioritizing representable subcategories and exofunctors.

    Scala Updated Sep 18, 2019

  • applied-fp-course Public

    Forked from qfpl/applied-fp-course

    Applied Functional Programming Course - Move from exercises to a working app!

    Haskell Other Updated Jul 4, 2019