algebraic-sofia/rinha-ts algebraic-sofia/rinha-ts

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
  • Created about 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
algebraic-sofia/rinha-ts
github

algebraic-sofia

Reviews

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

Repository Details

Exemplo de como fazer um interpretador de Rinha

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

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