solomon-b

solomon-b's Stars

• navidrome/navidrome

  🎧☁️ Your Personal Streaming Service

  Language:Go12.6k791.3k936

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.9k652k437

• joehillen/sysz

  An fzf terminal UI for systemctl

  Language:Shell1.6k71827

• danth/stylix

  System-wide colorscheming and typography for NixOS

  Language:Nix1.3k10333169

• dorklyorg/dorkly

  This project has been renamed from Dorkly to Brightly and has been moved: https://github.com/brightlyorg/brightly/wiki

  382305

• ekmett/machines

  Networks of composable stream transducers

  Language:Haskell339364946

• co-log/co-log

  📓 Flexible and configurable modern #Haskell logging framework

  Language:Haskell2611111551

• antithesishq/madness

  Madness enables you to easily run the same binary on NixOS and non-NixOS systems

  Language:Nix218341

• haskellfoundation/hs-opt-handbook.github.io

  The Haskell Optimization Handbook

  Language:HTML176239412

• ocharles/weeder

  A re-implementation of weeder using HIE files

  Language:Haskell17097528

• seanhess/hyperbole

  Haskell interactive serverside web framework inspired by HTMX

  Language:Haskell1305248

• PatrickMassot/GlimpseOfLean

  An introduction to theorem proving in Lean for the impatient.

  Language:Lean1177354

• eldr-io/hastl

  Production ready, modern web-application starter template using haskell and htmx

  Language:Haskell82212

• cofree-coffee/cofree-bot

  A library for building bots compositionally.

  Language:Haskell415298

• jonaskello/wpc-cabinet

  WPC Pinball Standard Body Cabinet Plans

  407213

• softwarefactory-project/matrix-client-haskell

  Matrix.org haskell client library

  Language:Haskell25886

• MercuryTechnologies/opentelemetry-plugin

  GHC plugin for open telemetry

  Language:Haskell2450110

• haskell-works/oops

  Language:Haskell22522

• parsonsmatt/hotel-california

  A tool for OpenTelemetry tracing on the command line

  Language:Haskell21273

• sjoerdvisscher/proarrow

  Haskell library for doing category theory with a central role for profunctors

  Language:Haskell19201

• sdzx-1/typed-fsm

  typed finite-state machine

  Language:Haskell16162

• friedbrice/lenses-talk

  Code Examples and Notes for my talk on Functional References (Lenses and such) at the Santa Monica Haskell Meetup

  Language:Haskell9300

• sethm/dmd_core

  AT&T / Teletype DMD5620 Terminal Emulator core library

  Language:Rust9304

• bergmannjg/leanCurl

  Lean 4 bindings to libcurl

  Language:Lean8111

• viercc/polynomial-functor

  Polynomial functors (a.k.a. containers) in Haskell

  Language:Haskell8111

• willem-pennings/Air-Quality-Sensor

  Design files for a Home Assistant-compatible air quality sensor/monitor

  8221

• ToposInstitute/lean-poly

  Language:Lean6612

• haskell-github-trust/smtp-mail

  Simple email sending via SMTP

  Language:Haskell41342

• isovector/nixos-configuration

  Language:Nix3

• prikhi/cloudwatcher

  TUI for reviewing error logs from AWS Cloudwatch

  Language:Haskell2401