Discover @noghartt Open Source projects

Guilherme (@noghartt)

noghartt

Stars
332
Global Rank 81,999 (Top 3 %)
Followers 404
Following 1,429
Registered over 5 years ago
Most used languages

TypeScript
25.6 %

Rust
17.9 %

Nix
12.8 %

JavaScript
7.7 %

Haskell
5.1 %

OCaml
5.1 %

Emacs Lisp
5.1 %

Zig
2.6 %

Shell
2.6 %

Elixir
2.6 %

Lua
2.6 %

C
2.6 %

Astro 2.6 %

VHDL 2.6 %

TLA 2.6 %
Location 🇧🇷 Brazil
Country Total Rank 1,614
Country Ranking

TLA 1

Astro 2

Nix
10

OCaml
26

Zig
35

Haskell
47

Emacs Lisp
57

Rust
99

VHDL 183

TypeScript
401

Lua
403

Elixir
431

Shell
2,076

C
2,514

blog

My personal blog

awesome-obsidian-plugins

An awesome & curated list to plugins and themes to Obsidian.md

garden

A digital garden prototype - my notes and links are here

fakeddit

A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDB

my-awesome-stars

paxos-from-scratch

Single-decree Paxos Consensus Algorithm written from scratch

youtube-rss

A simple web tool to get the RSS feed link from a YouTube channel

nixcfg

My personal NixOS/Nix configuration and dotfiles

poc-virtualized-tables

Just a proof of concept about tables and virtualization

my-emacs-config

A repo containing my Emacs configuration files

nexus

An untyped lambda calculus interpreter written in Haskell

ego

slci

A simple (untyped) Lambda Calculus interpreter written in Haskell

lc-interpreter

arch-setup-script

A configuration script for my main tools on Arch Linux

simpl

The SimPL interpreter made on CS3110 course

protohackers

Some implementations from Protohackers

ssr-devto

dotnvim

pratt-parsing

An implementation of Pratt Parsing in Rust, based on Matklad's article (https://matklad.github.io/2020/04/13/simple-but-powerful-pratt-parsing.html)

sake

An attempt of writing a simple Lisp interpreter with OCaml

rsdn

A simple CDN implementation with Rust (instead of Lua lmao)

alg-w-step-by-step

Algorith W implemented step by step based on https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.7733&rep=rep1&type=pdf

learn-lean4

A simple repo to learn Lean4

icaro

A simple Lisp language

t3-todo-app

A simple to-do list app with tRPC

noctis

A simple dockerized CRUD API made with Elixir and GraphQL

ito

A simple stack machine written with Rust

agora

A mdx-deck inspired lib to presentate things

i686-elf-kernel-hello-world

nix

My (new) macOS configuration with Nix

learn-coq

teko

A parser combinator from scratch written with Haskell

talks

totp-poc

shunting-yard-rs

An implementation of Shunting yard algorithm in Rust

poc-chromatic

vhdl-studies

Some code related to VHDL studies

.emacs.d

WIP | My Emacs configuration

home

Managing your own home with a software

tailscale-vpn-ec2

tla-learning

A repo containing all my notes about TLA+

electron-experiments

ira

Simply typed lambda calculus interpreter written with Haskell

web-experiments

A place to put all my experiments related to Web stuffs

math

A compedium containing all my resources studying about math stuffs

algorithms-and-data-structures

egg-rust

fractal-tree

webgl-studies

nero

A simple tree-walk interpreter written in Rust

xstate-poc

watcher

A self-hosted, monitoring tool that produces data about everything that I do - inspired by Stephen Wolfram's personal analytics

quartz4-example

chip8-zig

exercises

A repo containing exercises from sites, books and other stuffs that I think that is relevant