deep learning, functional programming. rust, typescript, python, purescript, haskell, scala. Ā šš³šāµļøšØš
purescript-httpurple. šŖ A simple, type-safe http server for PureScript
64purescript-barlow-lens. Increase your magnification š and zoom deep into a record.
40purescript-fast-vect. Fast š, type-safe vectors for Purescript
25idris-refined. Port of Scala/Haskell Refined library to Idris
17purescript-morello. Cherry-picking š for your data
11purescript-typescript-importer. WIP typescript <ā”> purescript importer
9skriptorium. WIP - documentation for humans š§ , made by robots š¤
7purescript-typelevel-arithmetic. Fast typelevel arithmetic š§® using symbols
4scala-fast-vect. Fast š, type-safe vectors for Scala
4purescript-typescript-utils. PureScript
3purescript-typescript. Purescript FFI to the typescript compiler api
3quite-alright-typescript.
2purescript-httpurple-argonaut. PureScript
1elmish-emotion-test. JavaScript
1typescript-aff. TypeScript
1purescript-httpurple-yoga-json. PureScript
1candle-vllm-fix. Rust
1