Pinned Repositories
algebra-driven-design
Source material for Algebra-Driven Design
Almagest
A Modern Version of Ptolemy's Almagest
basic-computer-games
An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common programming languages
bobsmods
Factorio mods by Bobingabout
breeze
Breeze is a numerical processing library for Scala.
cats
Lightweight, modular, and extensible library for functional programming.
cats-actors
Cats Actors framework for building apps which are reactive. Cats actors uses a conceptual actor model as a higher level abstraction for concurrency.
typochecker
A tool to help (semi-)automatically find typos.
up-to-date-real-world-haskell
I'm trying to update the Real World Haskell book
Whittaker-and-Watson
Whittaker & Watson, "A Course of Modern Analysis" (1920)
bwignall's Repositories
bwignall/algebra-driven-design
Source material for Algebra-Driven Design
bwignall/bobsmods
Factorio mods by Bobingabout
bwignall/breeze
Breeze is a numerical processing library for Scala.
bwignall/cats
Lightweight, modular, and extensible library for functional programming.
bwignall/cats-actors
Cats Actors framework for building apps which are reactive. Cats actors uses a conceptual actor model as a higher level abstraction for concurrency.
bwignall/cdlbb.github.com
Cold Lamb's Brains (on Toast), a website.
bwignall/certainty-by-construction
Source material for Certainty by Construction
bwignall/cats-effect
The pure asynchronous runtime for Scala
bwignall/certainty-pandoc
pandoc for certainty by construction
bwignall/docs.scala-lang
The Scala Documentation website
bwignall/drod
The official public repository of Deadly Rooms of Death and DROD RPG
bwignall/Elements
Greek/English version of Euclid's Elements
bwignall/fs2
Compositional, streaming I/O library for Scala
bwignall/functional-design-patterns
could it be?
bwignall/gitbucket
A Git platform powered by Scala with easy installation, high extensibility & GitHub API compatibility
bwignall/mango
The purpose of the Mango library is to provide Guava (Google's core libraries) functionalities to Scala 2.13.
bwignall/metals
Scala language server with rich IDE features 🚀
bwignall/microactors-causality
Examples of causality maps for time series driven by GitHub actions
bwignall/microprediction
If you can measure it, consider it predicted
bwignall/microtutorial
microprediction stream creation tutorial
bwignall/offline
Demonstrates one pattern for offline estimation
bwignall/pyalternativeenergy
bwignall/pyindustry
bwignall/Riskfolio-Lib
Portfolio Optimization and Quantitative Strategic Asset Allocation in Python
bwignall/scala-pet-store
An implementation of the Java Pet Store using FP techniques in Scala. Updated to use Cats Effect 3.
bwignall/sofp
The Science of Functional Programming book
bwignall/spark
Apache Spark - A unified analytics engine for large-scale data processing
bwignall/thinking-with-types
📖 source material for Thinking with Types
bwignall/timemachines
Simple pure function representations of popular time series packages.
bwignall/winning
Inference of relative ability from winning probabilities