Pinned Repositories
btc-markets
cntlm-password
Reset cntlm password
fatty-acid-biosynthesis
Program which finds the pathway for the biosynthesis of DHA
glossy
Find descriptions for jargon/acronyms from the command line.
higher-kinded-data
Higher-kinded data in Scala
isotope
Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excluding Technetium and promethium), i.e., all elements with naturally-occurring isotopes.
lipase
A program to identify triacylglycerols for mass spectra (as csv files)
non-nullable-fields
Assert non-nullable class fields
spark-zio
Using ZIO with Spark for testable effects
union-dotty
Error handling with union types in Dotty
Michaelt293's Repositories
Michaelt293/higher-kinded-data
Higher-kinded data in Scala
Michaelt293/isotope
Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excluding Technetium and promethium), i.e., all elements with naturally-occurring isotopes.
Michaelt293/union-dotty
Error handling with union types in Dotty
Michaelt293/spark-zio
Using ZIO with Spark for testable effects
Michaelt293/non-nullable-fields
Assert non-nullable class fields
Michaelt293/unsigned
Unsigned integers in Scala with Cats support.
Michaelt293/higher-kinded-aggregations
Aggregations using higher-kinded data in Dotty
Michaelt293/spark-class
Derive case class definitions from spark schemas
Michaelt293/kinesis_layout
Generate kinesis advantage keyboard layouts with Rust!
Michaelt293/btc-markets
Michaelt293/deployer
Deploy sbt projects to cluster
Michaelt293/frameless
Expressive types for Spark.
Michaelt293/kittens
Automatic type class derivation for Cats
Michaelt293/knausj_talon
Config for talon for Mac, Windows and Linux. Very much in progress.
Michaelt293/Monocle
Optics library for Scala
Michaelt293/moultingyaml
Scala wrapper for SnakeYAML
Michaelt293/my_keyboard_layouts
My keyboard layouts for Kenesis Advantage 2 (generated using kenesis_layout)
Michaelt293/NoSnakeCaseFields
Scalafix rule for fixing snake-case fields
Michaelt293/OSSRH-57442
Michaelt293/parser-basic
Basic parser implementation in Haskell
Michaelt293/refined
Simple refinement types for Scala
Michaelt293/safe-string-interpolation
Safe String Interpolation in Scala that is type safe, with mechanisms to handle secret fields
Michaelt293/scala-study
Michaelt293/shapeless
Generic programming for Scala
Michaelt293/talon_community
a single source of application-specific scripts
Michaelt293/tlp
Type-Level Programming in Scala 3
Michaelt293/zio
ZIO — A type-safe, composable library for asynchronous and concurrent programming in Scala
Michaelt293/zio-config
Michaelt293/zio-intellij
A companion IntelliJ IDEA plugin for the ZIO library ecosystem.
Michaelt293/zio-prelude
A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration