algebraic-sofia Goto Github PK

lyre

Incomplete LALR(1) DSL for Lean (that compiles to a LR Table but does not compile to lean code lol)

machine-emulator-tools

Set of tools to help the development

machine-json-rpc

Cartesi Machine JsonRpc bindings

machines

LR(0) Table generator

mafia-game

maka

Virtual dom in Idris lol

melp

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

nbt

Just a nbt decoder and encoder

nito

Anime api in Haskell

notes

Minhas anotações não tão boas nem tão ruins

nuko

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

orgpie

A simple script to use the TagBox to classify and change the XMP Metadata of JPEG files to organize them better

planets

Some bad code that i'll rewrite

posshu

Project that I was trying to code

quack

🦆 | A quake log parser (it's for an interview)

quack.rs

Another quake log parser but in rust :|

requests

🏃 | Simple HTTP Client for Lean4

rinha

🧪 | Rinha de Backend Lean4

rinha-ts

Exemplo de como fazer um interpretador de Rinha

roko

🌳 | A simple elm-like virtual dom and a framework

salem

🗼 | Unification algorithms

sayuri

Probably the worst and incomplete implementation of the RFC2396 in Idris

script-wars

It's a really bad name for a project lol

sirdi

Package manager for Idris

slr

Experiments with lr

socket.lean

A fork of Xubaiw's Socket.lean, that builds with the latest Lean.

soda

🥤 | Toy parser combinator

soft

🧪 | Lisp with REPL and macros which will compile itself

softwrap

Just a CRUD website for registering people

soki

Some kind of lisp in Typescript