nothenrin

@terramagnaλf.(λx. f (x x)) (λx. f (x x))

Pinned Repositories

6502
Language:Rust40
blog
Language:HTML4 1 00
hash-map
Language:Rust0 1 00
lambda-calculus
Language:OCaml5 1 00
lipsum
Language:Rust4 1 10
money-transaction-system
Language:PHP110
paxos
Language:Rust14 1 00
search-engine
Language:OCaml5 1 00
system-f
Language:Rust0 1 00
zap
Simple real time chat
Language:TypeScript9 3 51

nothenrin's Repositories

nothenrin/zap
Simple real time chat
Language:TypeScript9 3 51
nothenrin/lambda-calculus
Language:OCaml5 1 00
nothenrin/search-engine
Language:OCaml5 1 00
nothenrin/6502
Language:Rust40
nothenrin/blog
Language:HTML4 1 00
nothenrin/lipsum
Language:Rust4 1 10
nothenrin/tui-chat
Language:Rust4 1 0
nothenrin/bitcask
Language:OCaml2 1 0
nothenrin/cute-bank
Language:Elixir2 1 0
nothenrin/advent-of-code-2023
Language:OCaml1 1 0
nothenrin/bittorrent-client
Language:Rust1 1 0
nothenrin/dotfiles
Language:Lua1 1 0
nothenrin/nvim-config
Language:Lua1 1 0
nothenrin/simply-typed-lambda-calculus
Language:OCaml1 1 0
nothenrin/woovi-challenge
Awesome Woovi Challenges
1 0 0
nothenrin/system-f
Language:Rust0 1 00
nothenrin/codewars
Language:Rust1 0
nothenrin/cute-chat
Language:Elixir
nothenrin/dijkstras-shortest-path
Language:Nix1 0
nothenrin/links
Language:HTML
nothenrin/nixos-config
Language:Nix1 0
nothenrin/ocaml-nix-template
Language:Nix1 0
nothenrin/ocaml.org
The official OCaml website.
Language:HTML0 0
nothenrin/pstlc
Language:OCaml1 0
nothenrin/reading-notes
1 0
nothenrin/rinha-de-compiler
🥖 | Rinha de compiladores (ou interpretadores kkkk
Language:Rust0 0
nothenrin/rust-analyzer
A Rust compiler front-end for IDEs
Language:Rust0 0
nothenrin/terminal-blog-theme
A simple, retro theme for Hugo
Language:SCSS0 0
nothenrin/test-node
Language:JavaScript1 0
nothenrin/viewstamped-replication
Language:Rust