Skip to content
View sigma-andex's full-sized avatar

Organizations

@rowtype-yoga @betalyra @purescript-react @text-yoga @dreifach-ai @searchattention

Block or report sigma-andex

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
sigma-andex/README.md

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.

Current projects

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

Further projects

Purescript

  • ๐Ÿ”ญ 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.

๐Ÿง˜๐Ÿพโ€โ™€๏ธ rowtype-yoga

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.

Scala

Rust

  • ๐Ÿค– skriptorium - A proof-of-concept for a cli to generate documentation for a repository using OpenAI.

Idris

  • โš—๏ธ idris-refined - Refinement types for idris using dependent pairs.

Pinned Loading

  1. text-yoga/ask text-yoga/ask Public

    WIP browser-based LLM question/answering for the web

    Rust 1

  2. purescript-barlow-lens purescript-barlow-lens Public

    Increase your magnification ๐Ÿ”ญ and zoom deep into a record.

    PureScript 39 2

  3. purescript-httpurple purescript-httpurple Public

    ๐Ÿช A simple, type-safe http server for PureScript

    PureScript 53 3

  4. purescript-fast-vect purescript-fast-vect Public

    Fast ๐Ÿ†, type-safe vectors for Purescript

    PureScript 26 6

  5. skriptorium skriptorium Public

    WIP - documentation for humans ๐Ÿง , made by robots ๐Ÿค–

    Rust 6

  6. betalyra/ts-variant betalyra/ts-variant Public

    No-frills polymorphic variants for typescript

    TypeScript 3