Pinned Repositories
flora-server
A package index for the Haskell ecosystem
cats-mtl-talk
IO Monad and Error management in Scala, a talk I gave in a FP meetup in 2019
crdts-introduction
A gentle introduction to Conflict-free replicated data types, including visual demos
flat-colors-stylesheets
Quickly add a beautiful color palette to your projects using these stylesheets.
free-monads-from-scratch
Free monads from scratch is a talk about Free monads, their motivation, their use cases for "real-world applications", and their implementation. It is mostly based on Wouter Swierstra's paper, Data Types à la carte.
personal-website
play-vue-webpack
Play Framework (Scala) + Vue.js + Webpack boilerplate
scala-introduction-training
Scala assignments to support a 2 days Scala training for beginners
scala3-nextjs-template
A template repository using Scala 3, Next.js, scalajs-react, and showcasing code sharing between the front end and the JVM
scalajs-idb
A Scala.JS interface for IndexedDB
gbogard's Repositories
gbogard/scala3-nextjs-template
A template repository using Scala 3, Next.js, scalajs-react, and showcasing code sharing between the front end and the JVM
gbogard/scalajs-idb
A Scala.JS interface for IndexedDB
gbogard/crdts-introduction
A gentle introduction to Conflict-free replicated data types, including visual demos
gbogard/free-monads-from-scratch
Free monads from scratch is a talk about Free monads, their motivation, their use cases for "real-world applications", and their implementation. It is mostly based on Wouter Swierstra's paper, Data Types à la carte.
gbogard/cats-mtl-talk
IO Monad and Error management in Scala, a talk I gave in a FP meetup in 2019
gbogard/scala-introduction-training
Scala assignments to support a 2 days Scala training for beginners
gbogard/fp-cheatsheet
WIP : A cheatsheet for various transformations in Scala
gbogard/queerjs-reasonml-talk
gbogard/hugo-theme-terminal
A simple, retro theme for Hugo
gbogard/nix-config
gbogard/personal-website
gbogard/amap-les-semeuses-website
gbogard/background-process-runner-poc
A proof-of-concept on how to run external processes in the background, and await their completion from multiple tasks, in Rust
gbogard/boardgames
gbogard/flora-server
A package index for the Haskell ecosystem
gbogard/Formality
A modern proof language
gbogard/go-trafilatura
go-trafilatura is a Go port of the trafilatura Python library.
gbogard/home-manager
A collection of scripts to manage my personal environment
gbogard/homebrew-souffle
Brew Scripts
gbogard/hoperator
A libray for building Kubernetes operators in Haskell
gbogard/isahc
The practical HTTP client that is fun to use.
gbogard/named-log4cats
A tiny wrapper around log4cats that makes it easier to pass named loggers around
gbogard/openmtp
OpenMTP - Advanced Android File Transfer Application for macOS
gbogard/parse-wiki-text-2
gbogard/postgres-operator-examples
Examples for deploying applications with PGO, the Postgres Operator from Crunchy Data
gbogard/rocket_async_compression
Implements response compression with gzip and brotli via the `async-compression` crate
gbogard/scala-open-letter.github.io
gbogard/scala-opentracing
A tracing library for Cats and Http4s, tailored for Opentracing tracers like Datadog and Jaeger
gbogard/texting_robots
Texting Robots: A Rust native `robots.txt` parser with thorough unit testing
gbogard/YCSB
Yahoo! Cloud Serving Benchmark