chiroptical
Random functional programming content on https://youtube.com/chiroptical.
https://mercury.comBoston
Pinned Repositories
book-of-monads
Finished Book of Monads by Alejandro Serrano-Mena
chiroptical
About me
ctfp-book-club
Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
declarative-programming-streams
Active streaming declarative programmers. See who's online at the following URL:
erlang_bits
Planning for Erlang Bits https://youtube.com/playlist?list=PLW_sOzxD_4gQCxnd0D25B9gxidM62FtFD
optics-by-example
Working through https://leanpub.com/optics-by-example by Chris Penner
polysemy-playground
Attempting to write a simple REST API using Polysemy
snail
A programming language for gastropods
thinking-with-types
Working through the Thinking with Types book in Haskell
chiroptical's Repositories
chiroptical/declarative-programming-streams
Active streaming declarative programmers. See who's online at the following URL:
chiroptical/chiroptical
About me
chiroptical/snail
A programming language for gastropods
chiroptical/derive-has-field
chiroptical/nolecture-notebooks
The nolecture Introductory and Pandas Notebook
chiroptical/essentials-of-compilation
A gastropod approaches https://mitpress.mit.edu/9780262047760/essentials-of-compilation
chiroptical/advent-of-code-2023
Doing as much advent of code as I have time for in Haskell
chiroptical/gleam_optics
Goofin' with https://github.com/hablapps/DontFearTheProfunctorOptics
chiroptical/haskell-programming-from-first-principles
My solutions to https://haskellbook.com
chiroptical/erlang_bits
Planning for Erlang Bits https://youtube.com/playlist?list=PLW_sOzxD_4gQCxnd0D25B9gxidM62FtFD
chiroptical/100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
chiroptical/advent-of-code-2022
Setting up for advent of code 2022. Planning to do solutions in Kotlin using coroutines.
chiroptical/advent-of-code-2024
chiroptical/advent_of_code_2024
Advent of Code 2024 (aka Advent of Parsers)
chiroptical/chiroptical.github.io
My blog
chiroptical/elp-issue
chiroptical/erlang-language-platform
Erlang Language Platform. LSP server and CLI.
chiroptical/etylizer
Static typechecker for Erlang
chiroptical/intray
GTD Capture tool
chiroptical/kickstart.nvim
A launch point for your personal nvim configuration
chiroptical/learn-you-some-erlang
Working through Learn You Some Erlang book
chiroptical/network-programming-in-erlang
Working on this book https://pragprog.com/titles/alnpee/network-programming-in-elixir-and-erlang/ in Erlang
chiroptical/nixpkgs
Nix Packages collection & NixOS
chiroptical/nova_page
homepage
chiroptical/otp
Erlang/OTP
chiroptical/pg_types
Erlang library for encoding and decoding postgres data types
chiroptical/pgo
Erlang Postgres client and connection pool
chiroptical/pytorch-ray-workflow
Accompanying blog post at https://barrymoo.dev/blog/simple-scaleable-preprocessing-with-pytorch-and-ray-0
chiroptical/real_world_event_sourcing
Working through https://pragprog.com/titles/khpes/real-world-event-sourcing/
chiroptical/unison-nix
Nix support for the Unison programming language