dantb

dantb's starred repositories

in-other-words

A higher-order effect system where the sky's the limit

Language:HaskellBSD-3-Clause8900

phd-dissertation

A summary of my activities during the past four years

Language:TeX2700

capability

Extensional capabilities and deriving combinators

Language:HaskellBSD-3-Clause21400

advent-of-code-dev

Interactive development environment and runner for Advent of Code challenges

Language:HaskellBSD-3-Clause2600

NativeOverleaf

Next-level academia! Repository for the Native Overleaf project, attempting to integrate Overleaf with native OS features for macOS, Linux and Windows.

Language:JavaScriptGPL-3.036000

PolysemyCleanArchitecture

Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.

Language:HaskellApache-2.019000

Metamorphosis

TemplateHaskell functions to generate types and converter function.

Language:HaskellBSD-3-Clause1800

meow

Catless Category Theory in Dotty/Scala 3 meow ~

Language:ScalaApache-2.04300

hierarchical-free-monads-the-most-developed-approach-in-haskell

Big article about Hierarchical Free Monads, the most developed approach to build real software in Haskell

Language:Haskell15200

Perl script to add indentation (leading horizontal space) to LaTeX files. It can modify line breaks before, during and after code blocks; it can perform text wrapping and paragraph line break removal. It can also perform string-based and regex-based substitutions/replacements. The script is customisable through its YAML interface.

Language:TeXGPL-3.085200