Discover @noghartt Open Source projects

Guilherme (@noghartt)

noghartt

Stars
292
Global Rank 89,205 (Top 4 %)
Followers 349
Following 1,373
Registered over 5 years ago
Most used languages

TypeScript
20.0 %

Rust
20.0 %

Nix
14.3 %

OCaml
8.6 %

JavaScript
8.6 %

Haskell
5.7 %

Emacs Lisp
5.7 %

Lua
2.9 %

VHDL 2.9 %

Elixir
2.9 %

C
2.9 %

Shell
2.9 %

Astro 2.9 %
Location 🇧🇷 Brazil
Country Total Rank 1,614
Country Ranking

Astro 2

Nix
11

OCaml
28

Haskell
47

Emacs Lisp
56

Rust
109

VHDL 194

TypeScript
434

Lua
445

Elixir
477

Shell
1,748

C
2,766

awesome-obsidian-plugins

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

blog

My personal blog

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

youtube-rss

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

poc-virtualized-tables

Just a proof of concept about tables and virtualization

nixcfg

My personal NixOS/Nix configuration and dotfiles

paxos-from-scratch

Single-decree Paxos Consensus Algorithm written from scratch

my-emacs-config

A repo containing my Emacs configuration files

ego

nexus

An untyped lambda calculus interpreter written in Haskell

arch-setup-script

A configuration script for my main tools on Arch Linux

protohackers

Some implementations from Protohackers

ssr-devto

slci

A simple (untyped) Lambda Calculus interpreter written in Haskell

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)

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

rsdn

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

icaro

A simple Lisp language

learn-lean4

A simple repo to learn Lean4

simpl

The SimPL interpreter made on CS3110 course

t3-todo-app

A simple to-do list app with tRPC

ito

A simple stack machine written with Rust

noctis

A simple dockerized CRUD API made with Elixir and GraphQL

agora

A mdx-deck inspired lib to presentate things

i686-elf-kernel-hello-world

sake

An attempt of writing a simple Lisp interpreter with OCaml

nix

My (new) macOS configuration with Nix

teko

A parser combinator from scratch written with Haskell

learn-coq

talks

poc-chromatic

totp-poc

shunting-yard-rs

An implementation of Shunting yard algorithm in Rust

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

exercises

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