Discover @solomon-b Open Source projects

Solomon (@solomon-b)

solomon-b

Stars
347
Global Rank 79,160 (Top 3 %)
Followers 128
Following 160
Registered about 16 years ago
Most used languages

Haskell
64.0 %

Idris 12.0 %

Nix
8.0 %

Python
4.0 %

Rust
4.0 %

PureScript 4.0 %

HTML
4.0 %
Location 🇺🇸 United States
Country Total Rank 20,847
Country Ranking

Idris 47

Nix
152

PureScript 158

Haskell
198

Rust
5,298

Python
5,886

greedypacker

2D Bin Packing Algorithms

lambda-calculus-hs

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

nixos-config

Homelab managed wtih Nix Flakes

HowardLang

An interpreted lambda calculus with Algebraic and Recursive Types.

monoidal-functors

A library encoding monoidal functors and related structures in Haskell.

kindly-functors

A category polymorphic `Functor` typeclass.

hmud

A mud server written in haskell

hcatlab

An exploration of the category Hask

titan

A Gemini Protocol Server

blog.cofree.coffee

metric-trees

lambda-calculus-rs

Learning Rust via implementing the lambda cube

SimpleLisp

A small Lisp implementation based on John McCarthy's 1960 paper "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I"

profunctor-optics

An implementation of profunctor optics :)

fudgets

A copy of Fudgets so that I can more easily include it as a dependency in a cabal.project file

graded-monads

Graded Monads with a QualifiedDo interface

jwt-config-generator

A small script for generating signed JWT Tokens and JWTConfig Objects for Hasura.

Algebra

Proving algebraic properties with Idris

web-server

Common web service stub for various projects.

Cellular

Cellular Automata experiments in Idris

yampy-cube-clone

A reimplementation of Konstantin Zudov's Yampy Cube

text-editor-prototype

Dont-Worry-Be-Happy

Example projects for Happy and Alex

graphql-parser

A Happy little GraphQL Parser

IdrisBookExercises

Exercises for Type Driven Development With Idris