Marco Z's repositories
ad-delcont
Reverse-mode automatic differentiation with delimited continuations
htmx-plotly
An htmx extension to update plotly.js charts
blaze-html-qq
Quasiquoter for blaze-html
assignment-riemann-opt
minimum bipartite matching via Riemann optimization
nlp-data-superglue
Dataset parsers from the SuperGLUE benchmark https://super.gluebenchmark.com/tasks/
validation-micro
Small validation library based on Applicative
language-python
A parser for Python 2.x and 3.x written in Haskell
xml-conduit-microlens
microlens combinators for xml-conduit
hackage-doc-builder-config
Configuration and documentation for the Hackage documentation builder
000
haskell-jwt
JSON Web Token (JWT) decoding and encoding
req-conduit
Conduit utilities that work with the Req HTTP client library
samsort
A stable adaptive mergesort implementation
Language:HaskellNOASSERTION000
theorem_proving_in_lean4
Theorem Proving in Lean 4
Language:JavaScriptApache-2.0000
tokenizers-hs
Huggingface tokenizers for Haskell