sigma-andex Goto Github PK

Hi,

I'm Jan, a deep learning and functional programming enthusiast. I code mostly in Rust, TypeScript and Python, though I also have strong experience in PureScript, Haskell, Scala and Idris.

Right now I'm mostly interested in LLMs with a focus on making LLMs fast and accessible.

I'm available for hire, reach out to me at https://betalyra.pt/contact.

If you are interested in LLMs running in the browser make sure to check out my newsletter AI & the web.

At the moment I'm working on the following projects:

• ratchet - Contributor to Christopher's ratchet transformer library which is written in Rust/WASM and optimised for WebGPU.
• @text-yoga/ask - Question/Summary for the web.
• @text-yoga/cli - CLI for automatic generation of embeddings.

• 🔭 barlow-lens - A lens library that makes creating complex lenses such as record lenses super simple
• 🐆 fast-vect - Fast, type-safe vector libary for Purescript inspired by Idris.
• 🪁 httpurple - A simple, type-safe http server for PureScript. Originally forked from httpure but since then has deviated quite a bit.
• 🍒 morello - Cherry-picking for your data.

Apart from these, I have published a couple of libraries that I have donated and moved to the 🧘🏾‍♀️ rowtype-yoga organisation. Here is an excerpt, you can find more on the organisation's profile:

• 💌 fetch - A minimalist library for using fetch (aka browser http client) in PureScript
• 📀 record-studio - Working with records made easy
• 🧮 js-bigints - FFI bindings for native BigInt
• 🦥 lazy-joe - Purescript ffi for the lazy joe
• 🦾 fallback - Idris-style fallback for do comprehensions.

• 🐆 fast-vect - Fast, type-safe vector libary for Scala. A port of my purescript-fast-vect and also heavily inspired by Idris.

• 🤖 skriptorium - A proof-of-concept for a cli to generate documentation for a repository using OpenAI.

• ⚗️ idris-refined - Refinement types for idris using dependent pairs.