sigma-andex
deep learning, functional programming. rust, typescript, python, purescript, haskell, scala. 🌍🌳🐟⛵️🎨 🍻 ** 🏔 🍻
Betalyra Sociedade Unipessoal Lda.Portugal
Pinned Repositories
ts-variant
No-frills polymorphic variants for typescript
idris-refined
Port of Scala/Haskell Refined library to Idris
purescript-barlow-lens
Increase your magnification 🔭 and zoom deep into a record.
purescript-fast-vect
Fast 🐆, type-safe vectors for Purescript
purescript-httpurple
🪁 A simple, type-safe http server for PureScript
purescript-morello
Cherry-picking 🍒 for your data
purescript-typelevel-arithmetic
Fast typelevel arithmetic 🧮 using symbols
purescript-typescript-importer
WIP typescript <≡> purescript importer
skriptorium
WIP - documentation for humans 🧠, made by robots 🤖
ask
WIP browser-based LLM question/answering for the web
sigma-andex's Repositories
sigma-andex/purescript-httpurple
🪁 A simple, type-safe http server for PureScript
sigma-andex/purescript-barlow-lens
Increase your magnification 🔭 and zoom deep into a record.
sigma-andex/purescript-fast-vect
Fast 🐆, type-safe vectors for Purescript
sigma-andex/purescript-morello
Cherry-picking 🍒 for your data
sigma-andex/scala-fast-vect
Fast 🐆, type-safe vectors for Scala
sigma-andex/candle-vllm-fix
sigma-andex/typescript-aff
sigma-andex/awesome
😎 Awesome lists about all kinds of interesting topics
sigma-andex/barrier
Shield.io style badge generator
sigma-andex/burn
Burn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
sigma-andex/candle-vllm
Efficent platform for inference and serving local LLMs including an OpenAI compatible API server.
sigma-andex/foundation
Empire strikes back
sigma-andex/nextjs-treeshaking-test
sigma-andex/package-sets
PureScript packages for Spago and Psc-Package
sigma-andex/purescript-argonaut-codecs
JSON serialization and deserialization with Argonaut.
sigma-andex/purescript-backend-optimizer
Optimizing backend toolkit and modern ECMAScript backend for PureScript
sigma-andex/purescript-deku-realworld
A realworld implementation using purescript-deku
sigma-andex/purescript-exceptions
Exception effects
sigma-andex/purescript-httpurple-om-example
sigma-andex/purescript-react-basic-dom
sigma-andex/purescript-spec
Testing framework for Purescript
sigma-andex/purescript-variant
Polymorphic variants for PureScript
sigma-andex/pursuit
Website for hosting and searching PureScript API documentation
sigma-andex/ratchet
A cross-platform browser ML framework.
sigma-andex/sigma-andex
sigma-andex/tiny-transformer
sigma-andex/wasm-test
sigma-andex/webgpu-shader-tests
sigma-andex/wgpu-bench
sigma-andex/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.