aripiprazole/plank

Stars
56
Rank 514,707 (Top 11 %)
Language
Kotlin
License
MIT License
Created over 3 years ago
Updated over 1 year ago

aripiprazole/plank

aripiprazole

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

📜 | Functional programming language written in kotlin.

rinha-de-compiler

🥖 | Rinha de compiladores (ou interpretadores kkkk

rinha

🧪 | Rinha de Backend Lean4

lura

🍞 | IDE focused programming language study

eq

🧮 | Writing an Equation Solver

ticoteco

📱| Tiktok web clone

trazodone

🧪 | LLVM backend for HVM

soft

🧪 | Lisp with REPL and macros which will compile itself

bupropion

❤️ | Fancy diagnostics for Miette

bidir

🍴 | Complete and Easy implementation in Rust

andesite

🪨 | Minecraft java and bedrock library

gabx.io

📜 | My personal website

happy

😃 | The project happy of next level week.

sol

🥺 | Sol theorem prover

config-strings

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

ekko

📘 | Writing Haskell in Kotlin article's project

asena

🥺 | Theorem prover focused on UI

gitkib

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

aripiprazole

👤 | My profile repository

llvm4k

📚 | LLVM bindings for kotlin multiplatform

sql-builder

💻 | Simple SQL Builder for Java. Currently on waiting

zu

🧪 | Zu Theorem Prover

kofl

📙 | A functional programming language.

kind.nvim

📀 | Kind programming language plugin for Neovim

kam

🏹 | Arrow kt bindings to kotlin popular frameworks

react-template

⚛️ | Simple react template with typescript and react router

dots

💻 | My dotfiles

lisy

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

testing-jetpack-compose

🧪 | Testing the jetpack compose api 0.1.0-dev13

brex

🧪 | Type classes in Lisp

cra-template-gabi-react-template-basic

⚛️ | Simple react template

learning-android

🧪 | Learning android

dev-radar

💻 | Semana OmniStack 10.

json2java

A json2java conversor. (Includes kotlin also)

lorefy

Needs refactor.

be-the-hero

💻 | Semana OmniStack 11.

vagrank

📦 | Kotlin script vagrant wrapper.

login-tdd-ts

🧪 | Learning Test Driven Development

rpg

🌱 | My first minecraft project

server

💻 | wckd-store server.

kmp-starter

💻 | Kotlin Multiplatform starter project

xor-neural-network

🌐 | Simple neural network

kt-native-issue-43887

pudim

🍮 | Basic neovim configuration

query-poc

🧪 | Query Design POCs for Kind

debuglog-compiler-plugin

🍀 | Simple compiler plugin

arcano

💻 | Arcano submission

bedrock-void

Minecraft bedrock void server

psychodex

🧪 | Pokedex for drugs

plank2

📜 | Rewrite of Plank programming language in rust

tree-sitter-lura

🍞 | Tree sitter grammar for Lura programming language

rigid

🪨 | Rigid lisp. The inverse of soft

forever

⬛ | Forever enigma website

tanso

🐙 | Minecraft motd server