Discover @masaeedu Open Source projects

Asad Saeeduddin (@masaeedu)

masaeedu

Stars
343
Global Rank 79,906 (Top 3 %)
Followers 101
Following 32
Registered almost 12 years ago
Most used languages

Haskell
41.2 %

JavaScript
31.4 %

Nix
17.6 %

PureScript 2.0 %

PowerShell
2.0 %

Shell
2.0 %

Agda 2.0 %

C++
2.0 %
Location 🇨🇦 Canada
Country Total Rank 2,289
Country Ranking

Nix
10

Agda 11

PureScript 16

Haskell
18

PowerShell
422

Shell
855

JavaScript
1,084

C++
6,410

nix-optics

reading

monadoptics

Profunctor optics for the endofunctor category on Hask

natch

Natural pattern matching in JS

fp

Principled functional programming for JS

adt

A simple library for defining ADTs

bitmap-fonts

init-haskell

A script for setting up Haskell projects with Nix

halfsp

all-hls

elect

co-optics

Two optics for the price of one

monoidal

proppie

selectivemonoidal

A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat

grimoire

filterable

A simple account of "filterability" using category theory

ulc

Untyped lambda calculus

do

General purpose do-notation for JS

pmatch

ML-like pattern matching syntax for ADTs

tensorfold

Folding type level data structures into variants and records

optix

infix

Infix application trick for JS

recordlens

cellular_critters

Experimenting with recursion schemes, infinite lists, spiral iterators, and automata

newlenses

todo

things i have to do

happy_proxy

automonad.hs

Solving mtl's n*m instances problem

fp-io

agda-learning

snapdom2

rigmonoids

pluckingadjunction

dumbrecords

papers

nanoparsec.js

biparser

questiongraph

freert-effs

representable

transact

Experiments in effectful state transitions

freert

treesascontainers

tmpfoo

coproducts

test_haskell_diff

me597

ME 597 lab code

sanctuary_profiling

linalg

Linear algebra using the category of vector spaces

arrowstrongmonad

rule110

enrichment

xscripts