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"| Daily Driver |
|
| The Good Stuff |
|
| Sharp Tools |
|
| Gets It Done |
|
| Enterprise |
|
| Still Around |
|
| 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 |
Functional programming, LLMs, distributed systems, and the occasional Ragnarok Online nostalgia project.
"First, solve the problem. Then, write the code."