solomon-b

I like haskell.

BitnomialLos Angeles

Pinned Repositories

cofree-bot
A library for building bots compositionally.
Language:Haskell46 5 298
poly
Experiments in Poly based on Nelson Niu and David Spivak's Polynomial Functors book.
Language:Agda4 1 00
kriti-lang
A minimal JSON templating language
Language:Haskell56 12 2110
greedypacker
2D Bin Packing Algorithms
Language:Python189 6 851
HowardLang
An interpreted lambda calculus with Algebraic and Recursive Types.
Language:Haskell18 3 01
kindly-functors
A category polymorphic `Functor` typeclass.
Language:Haskell11 2 40
lambda-calculus-hs
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
Language:Haskell44 1 53
monoidal-functors
A library encoding monoidal functors and related structures in Haskell.
Language:Haskell16 3 52
nixos-config
Homelab managed wtih Nix Flakes
Language:Nix25 3 02
polytt
A type theory with native support for Polynomial Functors.
Language:OCaml39 8 353

solomon-b's Repositories

solomon-b/lambda-calculus-hs
Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
Language:Haskell44 1 53
solomon-b/lambda-calculus-rs
Learning Rust via implementing the lambda cube
Language:Rust4 2 01
solomon-b/graded-monads
Graded Monads with a QualifiedDo interface
Language:Haskell2 4 01
solomon-b/jwt-config-generator
A small script for generating signed JWT Tokens and JWTConfig Objects for Hasura.
Language:Nix2 2 0
solomon-b/graphql-parser
A Happy little GraphQL Parser
Language:Haskell1 2 0
solomon-b/agda-mugen
A formalization of the theory behind the mugen library
Language:Agda1 0
solomon-b/Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
Language:Python1 0
solomon-b/autodocodec
self(auto)- documenting encoders and decoders
Language:Haskell1 0
solomon-b/configuration
Language:Haskell2 0
solomon-b/cooltt
😎TT
Language:OCaml1 0
solomon-b/doesitcommute.com
Commutivity As A Service
Language:HTML2 0
solomon-b/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
Language:Haskell1 0
solomon-b/graphql-wg
Working group notes for GraphQL
solomon-b/gum
A tool for glamorous shell scripts 🎀
Language:Go1 0
solomon-b/harg
Haskell program configuration using higher kinded data
Language:Haskell1 0
solomon-b/haskell-parsing-benchmarks
A fork of https://gitlab.com/FinnBender/haskell-parsing-benchmarks where I attempt to improve Happy's performance
Language:Haskell
solomon-b/howto-generics
Language:Haskell2 0
solomon-b/immich
Self-hosted photo and video backup solution directly from your mobile phone.
Language:Dart1 0
solomon-b/mtls-client
a demo of mutual TLS in Haskell
Language:Haskell2 0
solomon-b/netlink-hs
Netlink communication for Haskell
Language:Haskell1 0
solomon-b/nix-flake-python-example
Example of a nix flake for a Python project
Language:Nix1 0
solomon-b/nixpkgs
Nix Packages collection
Language:Nix1 0
solomon-b/openai-hs
Unofficial OpenAI Haskell Bindings
Language:Haskell1 0
solomon-b/polysemy-check
Quickcheck for Polysemy
Language:Haskell1 0
solomon-b/Programming-From-The-Ground-Up
exercises for the book Programming From The Ground Up
Language:Assembly2 0
solomon-b/rofi
A huge collection of Rofi based custom Applets, Launchers & Powermenus.
Language:Shell1 0
solomon-b/stackage
Stable Haskell package sets: vetted consistent packages from Hackage
Language:Dockerfile1 0
solomon-b/subdirectories-discover
Perfect wordlist for discovering directories and files on target site
solomon-b/templates
Language:Nix1 0
solomon-b/xmonad-contrib
Contributed modules for xmonad
Language:Haskell1 0