- Belarus
Stars
Library to support efficient compilation of large records (linear in the number of record fields)
Industrial-strength monadic parser combinator library
It's a funny bot which can send "pososyamba" in your chat
Like async/await syntax for Promises in JS but for OCaml
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Purely functional reactive programming library
Extending the concept of indices for lists and other containers
optics for Haskell with the most amazing type errors you've seen
Don't Fear the Profunctor Optics!
Don't let TC39 use smoosh or smooshMap