Brian Wignall's repositories
typochecker
A tool to help (semi-)automatically find typos.
algebra-driven-design
Source material for Algebra-Driven Design
bobsmods
Factorio mods by Bobingabout
breeze
Breeze is a numerical processing library for Scala.
cats
Lightweight, modular, and extensible library for functional programming.
cdlbb.github.com
Cold Lamb's Brains (on Toast), a website.
certainty-by-construction
Source material for Certainty by Construction
certainty-pandoc
pandoc for certainty by construction
docs.scala-lang
The Scala Documentation website
fs2
Compositional, streaming I/O library for Scala
gitbucket
A Git platform powered by Scala with easy installation, high extensibility & GitHub API compatibility
lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
mango
The purpose of the Mango library is to provide Guava (Google's core libraries) functionalities to Scala 2.13.
metals
Scala language server with rich IDE features 🚀
microactors-causality
Examples of causality maps for time series driven by GitHub actions
microprediction
If you can measure it, consider it predicted
microtutorial
microprediction stream creation tutorial
offline
Demonstrates one pattern for offline estimation
pyracing
A complete overhaul of the original ir_webstats; pyracing is an API client/wrapper for iRacing, the leading online simracing service. pyracing handles the queries to iRacing's (known) URL endpoints and maps the returned JSON data into structured objects, allowing for easier access to the data.
Riskfolio-Lib
Portfolio Optimization and Quantitative Strategic Asset Allocation in Python
scala-pet-store
An implementation of the Java Pet Store using FP techniques in Scala. Updated to use Cats Effect 3.
spark
Apache Spark - A unified analytics engine for large-scale data processing
stacks-project
Repository for the Stacks Project
swarm
Resource gathering + programming game
thinking-with-types
📖 source material for Thinking with Types
timemachines
Simple pure function representations of popular time series packages.
winning
Inference of relative ability from winning probabilities