Justin Le

backprop. Heterogeneous automatic differentiation ("backpropagation") in Haskell

auto. Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto

hamilton. Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.

advent-of-code-2020. 🎅🌟❄️☃️🎄🎁

advent-of-code-2018. Advent of Code 2018 Solutions (Spoilers!)

inCode. Source for personal blog.

advent-of-code-2019. Advent of Code 2019 Solutions (Spoilers!)

tensor-ops. Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation

advent-of-code. 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo

advent-of-code-2017. Advent of Code 2017 (Warning: Spoilers)

advent-of-code-2021. 🎅🌟❄️☃️🎄🎁

mutable. Automatic piecewise-mutable references for your types

functor-combinators. Combine and enhance Functors

backprop-learn. Combinators and types for easily building trainable neural networks using the backprop library

servant-cli. Generate a command line client from a servant API

nonempty-containers. Efficient non-empty variants of containers data types, with full API

typelits-printf. Type-safe printf from parsing GHC TypeLits Symbol

advent-of-code-dev. Interactive development environment and runner for Advent of Code challenges

uncertain. Manipulating numbers with inherent measurement/experimental uncertainty.

setup-stack. Github action for setting up haskell stack

corona-charts. Ultimate interactive COVID-19 data plotter

ghcjs-websockets. GHCJS interface for the Javascript Websocket API (DEPRECATED: use ghcjs-base's native websockets!)

auto-examples. Example projects using the auto library.

advent-of-code-api. Haskell bindings to Advent of Code REST API

typelits-witnesses. Existential witnesses, singletons, and classes for operations on GHC TypeLits

lens-typelevel. Type-level lenses using singletons because why not

interactive-plot. Quick interactive time series terminal plots usable in ghci

opto. Numerical optimization with support for stochastic optimization, mostly for my own experimental usage

hmatrix-backprop. backprop primitives for hmatrix

advent-of-code-2022. 🎅🌟❄️☃️🎄🎁

decidable. Combinators for manipulating dependently-typed predicates.

prompt. Monad and transformer for deferred-effect pure prompt-response queries

servant-validate. Validate well-formed servant APIs at compile time

advent-of-code-2023. 🎅🌟❄️☃️🎄🎁

conduino. Lightweight composable continuation-based stream processors

hakyll-dhall. Dhall compiler for Hakyll

tic-tac-typed. Exploring a "type-safe" Tic-Tac-Toe in Haskell

blog. Source for blog engine/static website. Haskell Web Development learning project.

cv-static. Source for static CV

emd. Hilbert-Huang Transform (Empirical Mode Decomposition) in pure Haskell

get-package. Github action for installing packages from OS package managers

talks. Collection of slides, notes, and posters for public talks I've given.

dhallscript. Embedded scripting language in dhall

wavelets. wavelet decomposition in haskell

pandoc-sync. Automatic one- and two-way syncing of pandoc sources and renders

one-liner-instances. Default implementations for common typeclasses using one-liner

advent-of-code-ocr. Parsing ASCII art word solutions for advent of code

bins. Aggregate continuous variables into discrete bins

tic-tac-miso. type-safe tic tac toe with Miso GUI

data-diff. Derivable diffing and patching on arbitrary data types using GHC Generics

dhall-text-shell. dhall text but provide shell commands as function arguments

tagged-binary. Provides tools for serializing data tagged with type information

backpack-tensor. backpack signatures and implements for tensor operations

advent-of-code-2016. Solutions for Advent of Code 2016 (Spoilers!)

functor-products. Generalized functor products based on lifted foldables

forms-applicative. playing around with free applicatives/alternatives for validated forms

corona-analysis. Collection of some simple personal scripts for COVID-19 data analysis