Pinned Repositories
algebraic-scala
Scala port of example Haskell interpreter employing algebras.
aoc2020
AoC 2020 - 45/50
feedback
Maybe the only way to safe the world.
fpa-course-intro
FPA Introduction Course
proust
Logic And Computation Intertwined
ribosome
RNA Collection Type in Scala 3
scala-open-letter.github.io
stutter
A LISP Interpreter
uuid
version 8 uuid implementation
nmcb's Repositories
nmcb/streetlights
Proof of concept depicting a restful specification of access to infrastructure related data graphs.
nmcb/tarbi
A serious implementation of the bigraph data structure.
nmcb/advanced-zio
The material for the Advanced ZIO Workshop.
nmcb/aoc2021-guido
nmcb/Dark-Horse-Podcast-Transcripts
nmcb/dataflow-java
Provides several Google Cloud Dataflow pipeline examples as well as useful utility classes.
nmcb/doobie
Functional JDBC layer for Scala.
nmcb/dotty
Research compiler that will become Scala 3
nmcb/dotty-cookbook
nmcb/ebms-admin
Standalone EbMS adapter.
nmcb/ebms-core
Java implementation of the EbMS 2.0 specification.
nmcb/financial-model
A Google Sheets based app to model your budget
nmcb/fp-course
Functional Programming Course
nmcb/interop-cats
ZIO instances for cats-effect type classes
nmcb/lean
Lean Theorem Prover
nmcb/natural
natural numbers in scala
nmcb/nmcb
My unison repository.
nmcb/playground
Playground for infra objects.
nmcb/plfa.github.io
An introduction to programming language theory in Agda
nmcb/Publications
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
nmcb/r11547
nmcb/r15385
nmcb/r15926
nmcb/recommended-sources
This repository contains a collection of talks and blogposts I found worthhwile. I often refer to these sources for various reasons. This repository collects and categorizes these sources together with a small explanations why they're so great
nmcb/rfc
ZeroMQ RFC project
nmcb/scala.epfl.ch
web site for the Scala Center @ EPFL
nmcb/scalafmt
Code formatter for Scala
nmcb/scalgos
algorithms in scala
nmcb/septic
Model based property based testing for tagless final repositories
nmcb/tapir
Declarative, type-safe web endpoints library