aripiprazole

rinha-de-compiler. 🥖 | Rinha de compiladores (ou interpretadores kkkk

rinha. 🧪 | Rinha de Backend Lean4

plank. 📜 | Functional programming language written in kotlin.

lura. 🍞 | IDE focused programming language study

eq. 🧮 | Writing an Equation Solver

ticoteco. 📱| Tiktok web clone

andesite. Minecraft java and bedrock library

trazodone. 🧪 | LLVM backend for HVM

bupropion. ❤️ | Fancy diagnostics for Miette

soft. 🧪 | Lisp with REPL and macros which will compile itself

bidir. 🍴 | Complete and Easy implementation in Rust

gabx.io. 📜 | My personal website

pgsql. 🧮 | PostgreSQL lib for Lean4

sol. 🥺 | Sol theorem prover

ekko. 📘 | Writing Haskell in Kotlin article's project

zed-unicode. ☯️ | Unicode symbols for Zed editor

happy. 😃 | The project happy of next level week.

config-strings. ⚙️ | A simple programming language to be used in config strings.

asena. 🥺 | Theorem prover focused on UI

aripiprazole. 👤 | My profile repository

gitkib. 💻 | Simple git plataform, for training. Currently on waiting.

zu. 🧪 | Zu Theorem Prover

sql-builder. 💻 | Simple SQL Builder for Java. Currently on waiting

hvm-core. Rust

tanso. 🐙 | Minecraft motd server

llvm4k. 📚 | LLVM bindings for kotlin multiplatform

dots. moved to https://github.com/aripiprazole/niques

kam. 🏹 | Arrow kt bindings to kotlin popular frameworks

lisy. 📘 | Simple type system repl the paper Typing Haskell in Haskell

brex. 🧪 | Type classes in Lisp

zed-lean. Rust

zed. Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

testing-jetpack-compose. 🧪 | Testing the jetpack compose api 0.1.0-dev13

cra-template-gabi-react-template-basic. ⚛️ | Simple react template

react-template. ⚛️ | Simple react template with typescript and react router

server. 💻 | wckd-store server.

kofl. 📙 | A functional programming language.

infer-mli. 🐫 | OCaml .mli generator

clj-extras-plugin. Clojure Extras IntelliJ Plugin

zed-agda. Rust

rigid. 🪨 | Rigid lisp. The inverse of soft

vagrank. 📦 | Kotlin script vagrant wrapper.

kmp-starter. 💻 | Kotlin Multiplatform starter project

query-poc. 🧪 | Query Design POCs for Kind

zure. 🧪 | Zure is the remake of Zu but without rigid and unstable types

proof. 🧪 | Proof language

xor-neural-network. 🌐 | Simple neural network

tree-sitter-lura. 🍞 | Tree sitter grammar for Lura programming language