the-sofi-uwu

Pinned Repositories

• rinha

  🧪 | Rinha de Backend Lean4

  Language:Lean61203

• Kind1

  A modern proof language

  Language:JavaScript3.5k74213141

• Ednaldo

  Javascript Interpreter for Ednaldo Language

  Language:JavaScript432

• Idris2Noobs

  Idris2 para falantes de portugues.

  Language:Idris46502

• melp

  🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends

  Language:Lean16411

• nuko

  I'm bored so let me write my own adventure in Haskell.

  Language:Haskell13200

• rinha-ts

  Exemplo de como fazer um interpretador de Rinha

  131

• soda

  🥤 | Toy parser combinator

  Language:Lean230

• UwU

  My UwU awesome config

  Language:Lua15202

• vulpi

  🦊 | A language that compiles to LLVM and has algebraic effects

  Language:Rust1041

the-sofi-uwu's Repositories