Discover @algebraic-sofia Open Source projects

Sofia Rodrigues (@algebraic-sofia)

algebraic-sofia

Stars
283
Global Rank 93,417 (Top 4 %)
Followers 1,107
Following 298
Registered about 4 years ago
Most used languages

Rust
21.6 %

Lean 18.9 %

Idris 13.5 %

JavaScript
8.1 %

Haskell
8.1 %

Reason 5.4 %

C
5.4 %

TypeScript
5.4 %

Svelte 2.7 %

LLVM 2.7 %

Lua
2.7 %

Jupyter Notebook
2.7 %

Go
2.7 %
Location 🇧🇷 Brazil
Country Total Rank 1,699
Country Ranking

Idris 2

Lean 2

LLVM 7

Reason 23

Haskell
24

Rust
87

Svelte 116

Lua
124

C
772

Go
1,168

JavaScript
1,178

Jupyter Notebook
2,096

TypeScript
2,971

Idris2Noobs

Idris2 para falantes de portugues.

Ednaldo

Javascript Interpreter for Ednaldo Language

soda

🥤 | Toy parser combinator

melp

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

UwU

My UwU awesome config

rinha-ts

Exemplo de como fazer um interpretador de Rinha

nuko

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

ash

🪵| Incomplete Express like library

a-bad-lisp

Just a bad lisp lol I had nothing to do so I just made a lisp with macros

algebraic-sofia.github.io

My blog to train react and other little things

galop

Test runner for rinha of compilers

notes

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

AED

Algoritmos e estruturas de dados

voxelia

🧊 | Voxel engine in rust :)

yurei

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

salem

🗼 | Unification algorithms

loaf

algebraic-sofia

Softwrap

Just a CRUD website for registering people

quack

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

Animulet

An api to list anime.

Nito

Anime api in Haskell

lambdas

Lots of strange algorithms

lina

🪚 | Pico parser based HTTP parser

JSON

🍫 | JSON parser for Lean4

OrgPie

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

Jupyter Notebook

AoC2021

Advent of Code :D

Planets

Some bad code that i'll rewrite

ethereum-playground

⟠ | My Ethereum Playground

Maka

Virtual dom in Idris lol

lyre

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

dots

• | Dot files

algebraic.dev

🕸️ | A website in Svelte

aoc2022

Lambda

Just a lambda calculus interpreter

dawn

⚗️ Emulator

Nbt

Just a nbt decoder and encoder

books

roko

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

toml

Toml parser for Idris2 Language.

requests

🏃 | Simple HTTP Client for Lean4