Skip to content
View ycastorium's full-sized avatar
49 followers · 10 following
  • Netherlands

Organizations

@Fimbulwinter

Block or report ycastorium

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
ycastorium/README.md

Cλstor

module Castor where

type Role       = "Software Architect"
type Location   = "Netherlands"
type Interests  = '[FunctionalProgramming, AI, DistributedSystems, FormalVerification]

whoami :: IO ()
whoami = putStrLn "Building things with functional languages and AI"

What I work with

Daily Driver Elixir
The Good Stuff Haskell  Lean
Sharp Tools Rust  Zig
Gets It Done Python
Enterprise Kotlin  Java
Still Around Go  Lua  C  C#

Notable projects

Project Language Description
lifthrasir Rust / Bevy A Ragnarok Online client
aesir Elixir A Ragnarok Online server
ravix Elixir RavenDB client library
lextract Elixir LLM-powered text extraction
nx_audio Elixir Torchaudio, but for Elixir
quiver Elixir A pretty neat HTTP client
ravix-ecto Elixir Ecto adapter for the Ravix RavenDB driver
ex-azure Elixir Azure SDKs for Elixir
einsof Rust / Coq / Lean Formally verified agent security
gadev C Game Armor Ragnarok Online protection

Interests

Functional programming, LLMs, distributed systems, and the occasional Ragnarok Online nostalgia project.

Writing

Medium | Dev.to

"First, solve the problem. Then, write the code."

Pinned Loading

  1. ex-azure/ex_azure_speech ex-azure/ex_azure_speech Public

    Elixir 4

  2. nx_audio nx_audio Public

    Torchaudio, but for Elixir!

    Elixir 7 2

  3. EndurnyrProject/aesir EndurnyrProject/aesir Public

    A Ragnarok Online Server written in Elixir

    Elixir 26 5

  4. lextract lextract Public

    LLM-powered text extraction library for Elixir

    Elixir 8

  5. EndurnyrProject/lifthrasir EndurnyrProject/lifthrasir Public

    A Ragnarok Online Client written in Rust and Bevy

    Rust 45 6

  6. edlontech/einsof edlontech/einsof Public

    A Formaly Verified agents security

    Rocq Prover