Pinned Repositories
FSharp.Data.JsonValidation
A DSL for validating JSON against expected schemas.
iam-dhall
Create IAM policies using dhall
lambda-calc-elixir
Lambda calculus in elixir
lambda-calc-racket
Lambda calculus in Racket
lambda-calc-spec
Not that lambda calculus really needs a spec...
presentations
Presentations
purescript
A strongly-typed language that compiles to JavaScript
ramda
:ram: Practical functional Javascript
mjgpy3's Repositories
mjgpy3/iam-dhall
Create IAM policies using dhall
mjgpy3/enthusiasm
Enthusiast assembly. An exploration in Haskell EDSLs.
mjgpy3/dominion
Dominion kingdom generation
mjgpy3/terraform-provider-aws
Terraform AWS provider
mjgpy3/trying-tech
Home of the code associated with my "Trying New Tech" YouTube series
mjgpy3/awesome-challenges
A curated list of algorithmic challenges websites.
mjgpy3/b-b-r
"Easily configurable" game tally generator
mjgpy3/cardstudy
Flashcard app
mjgpy3/cmt
Work in progress!
mjgpy3/dhall-haskell
The non-repetitive alternative to YAML
mjgpy3/dominion-turn-tracker
Keep track of actions, buys, money during a dominion turn
mjgpy3/dotfiles
SOT for my dotfiles
mjgpy3/haskell-language-hcl
language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language
mjgpy3/hspec
A Testing Framework for Haskell
mjgpy3/info
Dead simple site for sharing info
mjgpy3/list-zipper
A non-empty comonadic list zipper
mjgpy3/mfp-python3-examples
Examples from "Mazes for Programmers" in Python 3
mjgpy3/nestjs-dynamoose
Dynamoose module for Nest
mjgpy3/od
Proof of concept for O.D., a work in progress
mjgpy3/opa
An open source, general-purpose policy engine.
mjgpy3/polysemy
:gemini: higher-order, no-boilerplate monads
mjgpy3/pool-tracker
mjgpy3/relude
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
mjgpy3/schema-infer
Infers JSON Schemas and Type Definitions from example JSON
mjgpy3/stackage
"Stable Hackage": vetted consistent packages from Hackage
mjgpy3/stonks
Crunch a Schwab export
mjgpy3/terraform-provider-auth0
Terraform provider for Auth0
mjgpy3/terratest
Terratest is a Go library that makes it easier to write automated tests for your infrastructure code.
mjgpy3/west-music-model
An OCaml breakable toy. Surely a weak and incomplete attempt to model western music.
mjgpy3/yatemplate
Simple file templates for Emacs with YASnippet