noghartt/ira

Stars
1
Language
Nix
License
BSD 3-Clause "New...
Created over 2 years ago
Updated over 2 years ago

noghartt/ira

noghartt

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Simply typed lambda calculus interpreter written with Haskell

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

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