Pinned Repositories
andesite
Minecraft java and bedrock library
eq
🧮 | Writing an Equation Solver
lura
🍞 | IDE focused programming language study
plank
📜 | Functional programming language written in kotlin.
rinha
🧪 | Rinha de Backend Lean4
rinha-de-compiler
🥖 | Rinha de compiladores (ou interpretadores kkkk
sol
🥺 | Sol theorem prover
ticoteco
📱| Tiktok web clone
Kind
A modern proof language
salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
aripiprazole's Repositories
aripiprazole/rinha-de-compiler
🥖 | Rinha de compiladores (ou interpretadores kkkk
aripiprazole/rinha
🧪 | Rinha de Backend Lean4
aripiprazole/lura
🍞 | IDE focused programming language study
aripiprazole/ticoteco
📱| Tiktok web clone
aripiprazole/bupropion
❤️ | Fancy diagnostics for Miette
aripiprazole/soft
🧪 | Lisp with REPL and macros which will compile itself
aripiprazole/gabx.io
📜 | My personal website
aripiprazole/sol
🥺 | Sol theorem prover
aripiprazole/aripiprazole
👤 | My profile repository
aripiprazole/zu
🧪 | Zu Theorem Prover
aripiprazole/hvm-core
aripiprazole/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
aripiprazole/clj-extras-plugin
Clojure Extras IntelliJ Plugin
aripiprazole/db
aripiprazole/forever
⬛ | Forever enigma website
aripiprazole/NeoHaskell
⏩ | NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.
aripiprazole/rigid
🪨 | Rigid lisp. The inverse of soft
aripiprazole/tree-sitter-lura
🍞 | Tree sitter grammar for Lura programming language
aripiprazole/aripiprazole.dev-fulcro
🧪 | Fulcro rewrite of my website
aripiprazole/ash
🪵 | Incomplete Express like library
aripiprazole/beml
aripiprazole/bend-language-server
Language server for the Bend programming language
aripiprazole/dia
aripiprazole/gaboxadol
🧪 | Simple code editor with vite
aripiprazole/infer-mli
🐫 | OCaml .mli generator
aripiprazole/kotlin-pl-template
🪧 | Kotlin programming language project template
aripiprazole/melp
🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
aripiprazole/vscode-jetbrains-icon-theme
🏵️ | Icon theme for Visual Studio Code using official JetBrains product icons
aripiprazole/zed-bend
Zed support for the bend programming language.
aripiprazole/zure
🧪 | Zure is the remake of Zu but without rigid and unstable types