mstksg

jle / mstksg / Lê Anh Khoa: Computational physicist & Haskeller, PhD

@AndurilOrange, CA

Pinned Repositories

advent-of-code
🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
Language:Haskell21 3 00
advent-of-code-2018
Advent of Code 2018 Solutions (Spoilers!)
Language:Haskell83 10 04
advent-of-code-2019
Advent of Code 2019 Solutions (Spoilers!)
Language:Haskell66 9 05
advent-of-code-2020
🎅🌟❄️☃️🎄🎁
Language:Haskell98 9 18
auto
Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & automations. http://hackage.haskell.org/package/auto
Language:Haskell180 16 811
backprop
Heterogeneous automatic differentiation ("backpropagation") in Haskell
Language:Haskell181 17 1522
backprop-learn
Combinators and types for easily building trainable neural networks using the backprop library
Language:Haskell33 7 12
hamilton
Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
Language:Haskell139 9 710
inCode
Source for personal blog.
Language:Haskell77 11 524
tensor-ops
Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
Language:Haskell59 11 53

mstksg's Repositories

mstksg/backprop
Heterogeneous automatic differentiation ("backpropagation") in Haskell
Language:Haskell181 17 1522
mstksg/hamilton
Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot.
Language:Haskell139 9 710
mstksg/advent-of-code-2020
🎅🌟❄️☃️🎄🎁
Language:Haskell98 9 18
mstksg/advent-of-code-2018
Advent of Code 2018 Solutions (Spoilers!)
Language:Haskell83 10 04
mstksg/inCode
Source for personal blog.
Language:Haskell77 11 524
mstksg/advent-of-code-2019
Advent of Code 2019 Solutions (Spoilers!)
Language:Haskell66 9 05
mstksg/advent-of-code-2017
Advent of Code 2017 (Warning: Spoilers)
Language:Haskell49 7 25
mstksg/advent-of-code-2021
🎅🌟❄️☃️🎄🎁
Language:Haskell44 3 03
mstksg/nonempty-containers
Efficient non-empty variants of containers data types, with full API
Language:Haskell25 5 89
mstksg/uncertain
Manipulating numbers with inherent measurement/experimental uncertainty.
Language:Haskell25 6 52
mstksg/typelits-printf
Type-safe printf from parsing GHC TypeLits Symbol
Language:Haskell24 3 42
mstksg/advent-of-code
🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
Language:Haskell21 3 00
mstksg/advent-of-code-2022
🎅🌟❄️☃️🎄🎁
Language:Haskell12 3 12
mstksg/decidable
Combinators for manipulating dependently-typed predicates.
Language:Haskell12 5 15
mstksg/typelits-witnesses
Existential witnesses, singletons, and classes for operations on GHC TypeLits
Language:Haskell10 4 313
mstksg/advent-of-code-2023
🎅🌟❄️☃️🎄🎁
Language:Haskell8 2 0
mstksg/santabot
Source for the freenode ##adventofcode irc bot monitoring Advent of Code
Language:Haskell4 4 01
mstksg/advent-of-code-2016
Solutions for Advent of Code 2016 (Spoilers!)
Language:Haskell2 4 0
mstksg/functor-products
Generalized functor products based on lifted foldables
Language:Haskell2 4 21
mstksg/haskell-project-flake
Personal flake tools for managing haskell project development
Language:Nix1 1 0
mstksg/hledger
The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger.
Language:Haskell1
mstksg/aeson-better-errors
Better errors when decoding JSON values
mstksg/glpk-hs
Haskell bindings to glpk
mstksg/home-config
home-manager config
Language:Nix2 0
mstksg/hoppy
fork of https://git.sr.ht/~khumba/hoppy
Language:Haskell1 0
mstksg/jle-foss
building all of my foss packages to make sure they are up to date
Language:Nix
mstksg/public-google-sheets-parser
Get JSONArray from public google sheets with using only spreadsheetId
Language:JavaScript0 0
mstksg/purescript-validation
Applicative-style validation
mstksg/SimpleIRC
IRC Library for Haskell
Language:Haskell3 0
mstksg/ttyd
Share your terminal over the web