Discover @algebraic-sofia Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

CoffeeScript

PowerShell

Groovy

CSS

Clojure

Emacs Lisp

Ruby

MATLAB

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Kotlin

Rust

Scala

F#

Go

TypeScript

R

Java

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇦🇴 Angola

🇻🇪 Venezuela

🇬🇭 Ghana

🇦🇩 Andorra

🇷🇼 Rwanda

🇰🇭 Cambodia

🇮🇳 India

🇳🇪 Niger

All Countries Compare Countries

Sofia Rodrigues (@algebraic-sofia)

algebraic-sofia

Stars
283
Global Rank 91,434 (Top 4 %)
Followers 1,107
Following 298
Registered almost 4 years ago
Most used languages

Rust
21.6 %

Lean 18.9 %

Idris 13.5 %

Haskell
8.1 %

JavaScript
8.1 %

C
5.4 %

Reason 5.4 %

TypeScript
5.4 %

LLVM 2.7 %

Go
2.7 %

Jupyter Notebook
2.7 %

Svelte 2.7 %

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

Idris 2

Lean 2

LLVM 7

Reason 19

Haskell
22

Svelte 78

Rust
80

Lua
120

C
700

JavaScript
1,196

Go
1,281

Jupyter Notebook
2,362

TypeScript
2,694

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

voxelia

🧊 | Voxel engine in rust :)

yurei

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

AED

Algoritmos e estruturas de dados

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