jgrosso

agda

Agda is a dependently typed programming language / interactive theorem prover.

Coq-Equations

A function definition package for Coq

skill-sample-nodejs-fact

Build An Alexa Fact Skill

axel

Haskell + Lisp

freer-simple

A friendly effect system for Haskell

remacs

Rust :heart: Emacs

mtl-style-example

A small example of using mtl style to unit test effectful code

ocaml-reason-wsl

Workarounds to use ocaml and reason on windows through WSL

hackett

WIP implementation of a Haskell-like Lisp in Racket

generic-lens

Generically derive traversals, lenses, and prisms.

upterm

A terminal emulator for the 21st century.

behnam

rickscroll

High performance scrolling for React

factory_bot_rails

Factory Bot ♥ Rails

csharp-monad

Library of monads for C#

git

Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.