Pinned Repositories
algorithms-and-data-structures
awesome-obsidian-plugins
An awesome & curated list to plugins and themes to Obsidian.md
blog
My personal blog
fakeddit
A Reddit clone developed as a monorepo with React + Relay + Node.js + MongoDB
garden
A digital garden prototype - my notes and links are here
my-awesome-stars
my-emacs-config
A repo containing my Emacs configuration files
nixcfg
My personal NixOS/Nix configuration and dotfiles
noghartt's Repositories
noghartt/garden
A digital garden prototype - my notes and links are here
noghartt/my-emacs-config
A repo containing my Emacs configuration files
noghartt/nexus
An untyped lambda calculus interpreter written in Haskell
noghartt/arch-setup-script
A configuration script for my main tools on Arch Linux
noghartt/slci
A simple (untyped) Lambda Calculus interpreter written in Haskell
noghartt/agora
A mdx-deck inspired lib to presentate things
noghartt/icaro
A simple Lisp language
noghartt/ito
A simple stack machine written with Rust
noghartt/learn-lean4
A simple repo to learn Lean4
noghartt/graphql-helix
A highly evolved GraphQL HTTP Server š§¬
noghartt/he4rt-bot-next
:purple_heart: A He4rt Developers Discord Bot
noghartt/home
Managing your own home with a software
noghartt/ira
Simply typed lambda calculus interpreter written with Haskell
noghartt/learn-coq
noghartt/material-ui
MUI Core is a collection of React UI libraries for shipping new features faster. Start with Material UI, our fully-loaded component library, or bring your own design system to our production-ready components.
noghartt/talks
noghartt/teko
A parser combinator from scratch written with Haskell
noghartt/tereza-tech
Tereza Tech monorepo
noghartt/xstate-poc
noghartt/astexplorer
A web tool to explore the ASTs generated by various parsers.
noghartt/ccsseraphini
cc @sseraphini
noghartt/codemods
noghartt/doom-emacs-private
My private config for Doom Emacs
noghartt/graphql-mongo-helpers
GraphQL + MongoDB helpers that scale
noghartt/learning-haskell
noghartt/Maka
Virtual dom in Idris lol
noghartt/nixos-hardware
A collection of NixOS modules covering hardware quirks.
noghartt/nyxt
Nyxt - the hacker's power-browser.
noghartt/react
A declarative, efficient, and flexible JavaScript library for building user interfaces.
noghartt/react-d3-graph
Interactive and configurable graphs with react and d3 effortlessly