algebraic-sofia/soda algebraic-sofia/soda

  • Stars
    star
    22
  • Rank 1,048,934 (Top 21 %)
  • Language Lean
  • Created over 2 years ago
  • Updated 12 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
algebraic-sofia/soda
github

algebraic-sofia

Reviews

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

Repository Details

πŸ₯€ | Toy parser combinator

More Repositories

1

Idris2Noobs

Idris2 para falantes de portugues.
Idris
45
star
2

Ednaldo

Javascript Interpreter for Ednaldo Language
JavaScript
40
star
3

melp

πŸ•ΈοΈ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
Lean
16
star
4

UwU

My UwU awesome config
Lua
15
star
5

rinha-ts

Exemplo de como fazer um interpretador de Rinha
13
star
6

nuko

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

ash

πŸͺ΅| Incomplete Express like library
Lean
10
star
8

a-bad-lisp

Just a bad lisp lol I had nothing to do so I just made a lisp with macros
Rust
8
star
9

algebraic-sofia.github.io

My blog to train react and other little things
TypeScript
7
star
10

galop

Test runner for rinha of compilers
Rust
6
star
11

notes

Minhas anotaçáes não tão boas nem tão ruins
5
star
12

AED

Algoritmos e estruturas de dados
C
5
star
13

voxelia

🧊 | Voxel engine in rust :)
Rust
5
star
14

yurei

Just a lang to train some Idris, Type checking and inference
Idris
5
star
15

salem

πŸ—Ό | Unification algorithms
Rust
5
star
16

loaf

Rust
4
star
17

algebraic-sofia

4
star
18

Softwrap

Just a CRUD website for registering people
JavaScript
3
star
19

quack

πŸ¦† | A quake log parser (it's for an interview)
Go
3
star
20

Animulet

An api to list anime.
TypeScript
3
star
21

Nito

Anime api in Haskell
Haskell
3
star
22

lambdas

Lots of strange algorithms
Haskell
3
star
23

lina

πŸͺš | Pico parser based HTTP parser
C
3
star
24

JSON

🍫 | JSON parser for Lean4
Lean
3
star
25

OrgPie

A simple script to use the TagBox to classify and change the XMP Metadata of JPEG files to organize them better
Jupyter Notebook
3
star
26

AoC2021

Advent of Code :D
Idris
3
star
27

Planets

Some bad code that i'll rewrite
JavaScript
2
star
28

ethereum-playground

⟠ | My Ethereum Playground
2
star
29

Maka

Virtual dom in Idris lol
Idris
2
star
30

lyre

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

dots

β€’ | Dot files
Rust
2
star
32

algebraic.dev

πŸ•ΈοΈ | A website in Svelte
Svelte
2
star
33

aoc2022

LLVM
1
star
34

Lambda

Just a lambda calculus interpreter
Reason
1
star
35

dawn

βš—οΈ Emulator
Rust
1
star
36

Nbt

Just a nbt decoder and encoder
Reason
1
star
37

books

Lean
1
star
38

roko

🌳 | A simple elm-like virtual dom and a framework
Rust
1
star
39

toml

Toml parser for Idris2 Language.
Idris
1
star
40

requests

πŸƒ | Simple HTTP Client for Lean4
Lean
1
star