S-expression parsing and writing in Rust

Bookmarks in graphics, algorithms, low level programming, math, languages

Haskell + Lisp

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

CBT - fun, fast, intuitive, compositional, statically checked builds written in Scala

A collection of resources for learning type theory and type theory adjacent fields.

A mini Scala utility library

My tinkering to understand the typeclassopedia.

Play JSON Reads/Writes instances for refined types

Common Play Json implicits and helper methods

Compiling to Categories

Preparation links and resources for system design questions

Jawn is for parsing jay-sawn (JSON)

Code for "Functional Programming with Structured Graphs", Bruno C. d. S. Oliveira and William R. Cook

Type-level validation for Scala

Official implementation of "Learning to Discover Cross-Domain Relations with Generative Adversarial Networks"

DSL in Scala for Constraint Solving with Z3 SMT Solver

Proving Ground: Tools for Automated Mathematics

Testing tool in Scala for HTTP JSON API

Example Take-Home Coding Test in Scala

An exploration of purely functional library design in Scala.

A cohesive & pragmatic framework of FP centric Scala libraries

Scala macros to generate RESTful Models

A collection of Scala best practices

Everything you need to know to get the job.

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Functional JDBC layer for Scala.

Reasonable telnet server for Scala.