algebraic-sofia/books algebraic-sofia/books

  • Stars
    star
    1
  • Language Lean
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
algebraic-sofia/books
github

algebraic-sofia

Reviews

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

Repository Details

More Repositories

1

Idris2Noobs

Idris2 para falantes de portugues.
Idris
45
star
2

Ednaldo

Javascript Interpreter for Ednaldo Language
JavaScript
40
star
3

soda

🥤 | Toy parser combinator
Lean
22
star
4

melp

🕸️ | Incomplete HTTP/1.1 Server in Lean4 for Rinha de backends
Lean
16
star
5

UwU

My UwU awesome config
Lua
15
star
6

rinha-ts

Exemplo de como fazer um interpretador de Rinha
13
star
7

nuko

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

ash

🪵| Incomplete Express like library
Lean
10
star
9

a-bad-lisp

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

algebraic-sofia.github.io

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

galop

Test runner for rinha of compilers
Rust
6
star
12

notes

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

AED

Algoritmos e estruturas de dados
C
5
star
14

voxelia

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

yurei

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

salem

🗼 | Unification algorithms
Rust
5
star
17

loaf

Rust
4
star
18

algebraic-sofia

4
star
19

Softwrap

Just a CRUD website for registering people
JavaScript
3
star
20

quack

🦆 | A quake log parser (it's for an interview)
Go
3
star
21

Animulet

An api to list anime.
TypeScript
3
star
22

Nito

Anime api in Haskell
Haskell
3
star
23

lambdas

Lots of strange algorithms
Haskell
3
star
24

lina

🪚 | Pico parser based HTTP parser
C
3
star
25

JSON

🍫 | JSON parser for Lean4
Lean
3
star
26

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
27

AoC2021

Advent of Code :D
Idris
3
star
28

Planets

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

ethereum-playground

⟠ | My Ethereum Playground
2
star
30

Maka

Virtual dom in Idris lol
Idris
2
star
31

lyre

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

dots

• | Dot files
Rust
2
star
33

algebraic.dev

🕸️ | A website in Svelte
Svelte
2
star
34

aoc2022

LLVM
1
star
35

Lambda

Just a lambda calculus interpreter
Reason
1
star
36

dawn

⚗️ Emulator
Rust
1
star
37

Nbt

Just a nbt decoder and encoder
Reason
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