Solomon (solomon-b)

solomon-b

Geek Repo

Company:Costar Astrological Society

Location:Los Angeles

Home Page:blog.cofree.coffee

Github PK Tool:Github PK Tool


Organizations
cofree-coffee

Solomon's repositories

lambda-calculus-hs

Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques

Language:HaskellLicense:Apache-2.0Stargazers:42Issues:0Issues:0

nixos-config

Homelab managed wtih Nix Flakes

Language:NixStargazers:17Issues:3Issues:0

monoidal-functors

A library encoding monoidal functors and related structures in Haskell.

Language:HaskellLicense:MITStargazers:16Issues:3Issues:5

kindly-functors

A category polymorphic `Functor` typeclass.

Language:HaskellLicense:MITStargazers:11Issues:0Issues:0

profunctor-optics

An implementation of profunctor optics :)

Language:HaskellStargazers:3Issues:0Issues:0

graded-monads

Graded Monads with a QualifiedDo interface

Language:HaskellStargazers:2Issues:4Issues:0
Language:NixStargazers:0Issues:0Issues:0
Language:AgdaStargazers:0Issues:0Issues:0

checkers

Check properties on standard classes and data structures

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

co-prompt

Co-Algebraic Prompt System

Language:HaskellStargazers:0Issues:2Issues:0

cofreemacs

My emacs config forked from @TOTBWF

Language:Emacs LispStargazers:0Issues:0Issues:0

cooltt

😎TT

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:NixStargazers:0Issues:0Issues:0

doesitcommute.com

Commutivity As A Service

Language:HTMLStargazers:0Issues:0Issues:0
Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

homepage

A highly customizable homepage (or startpage / application dashboard) with Docker and service API integrations.

Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

kchungradio.org

KCHUNG Radio's website and api 📡 🛰 📻

Stargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0
Language:LeanStargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:2Issues:0

nand2tetris-hs

A re-implementation of the nand2tetris emulator

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:CSSStargazers:0Issues:0Issues:0

Profilarr

Import, Export & Sync Profiles & Custom Formats via Radarr / Sonarr API.

License:MITStargazers:0Issues:0Issues:0
Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:2Issues:0

xmobar-solomon

My Xmobar Config

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

xmonad-solomon

My Xmonad Configuration

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:0Issues:0