Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/sigma-andex below:

Website Navigation

• Overview
• Repositories 127
• Projects 0
• Packages 0
• Stars 815
• Overview
• Repositories 127
• Projects 0
• Packages 0
• Stars 815

sigma-andex (Jan Schulte) · GitHub

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 mechanistic interpretability.

Need help with AI? Through my company Betalyra I'm available for hire, reach out to me at https://betalyra.pt/contact.

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

• @huggingface/ratchet - Contributor to Christopher's ratchet transformer library.

• 🔭 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.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4