paul-snively
Pure FP software architect, so far in Scala, learning Haskell. Also dabbling in OCaml for many years and Coq for some fraction of that.
Asheville, NC
Pinned Repositories
1brc
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
advent
Advent of Code
bigquery-emulator
BigQuery emulator server implemented in Go
cocalc
CoCalc: Collaborative Calculation in the Cloud
dhall-terraform
Tooling to manage complexity and increase discoverability in Terraform by writing in Dhall.
paul-snively.github.io
My blog
verse
Experiments in formalization and verification of the Verse Calculus, In Coq
paul-snively's Repositories
paul-snively/verse
Experiments in formalization and verification of the Verse Calculus, In Coq
paul-snively/advent
Advent of Code
paul-snively/paul-snively.github.io
My blog
paul-snively/1brc
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
paul-snively/bigquery-emulator
BigQuery emulator server implemented in Go
paul-snively/cocalc
CoCalc: Collaborative Calculation in the Cloud
paul-snively/dhall-terraform
Tooling to manage complexity and increase discoverability in Terraform by writing in Dhall.
paul-snively/easyracer
cats-effect 3.x contribution to James Ward's easyracer
paul-snively/GPipe-Core
Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library
paul-snively/highlight.js
JavaScript syntax highlighter with language auto-detection and zero dependencies.
paul-snively/openshift-terraform
Deploy Openshift Origin 3.11 cluster on various cloud providers
paul-snively/platform
Multi platform setup for Coq, Coq libraries and tools
paul-snively/scalor-maven-plugin
Build integrator for Java, Scala, Scala.macro, Scala.js, Scala.native, Eclipse and Maven.
paul-snively/pfps-shopping-cart
:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"
paul-snively/postgres-operator-examples
Examples for deploying applications with PGO, the Postgres Operator from Crunchy Data
paul-snively/rchain
Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.
paul-snively/rtk-github-issues-example
Source code for the Redux Toolkit Advanced Tutorial
paul-snively/secp256k1-native
Native bindings for secp256k1
paul-snively/trading
💱 Trading application written in Scala 3 that showcases an Event-Driven Architecture (EDA) and Functional Programming (FP)
paul-snively/vellvm
The Vellvm (Verified LLVM) coq development.
paul-snively/zork
Source code for a 1977 version of Zork