nothenrin

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

Pinned Repositories

6502
Language:Rust40
getset
Rust getters and setters derive macro
Language:Rust60
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/paxos
Language:Rust14 1 00
nothenrin/money-transaction-system
Language:PHP110
nothenrin/lambda-calculus
Language:OCaml5 1 00
nothenrin/blog
Language:HTML4 1 00
nothenrin/bully-leader-election
Language:Rust1 1 0
nothenrin/cqrs-demo
Language:Rust1 1 0
nothenrin/load-balancer
Language:Rust1
nothenrin/mebous
Language:Rust1 1 0
nothenrin/ocaml-exercises
Language:OCaml1
nothenrin/simply-typed-lambda-calculus
Language:OCaml1 1 0
nothenrin/sistema-de-recrutamento-postgres
Apenas um trabalho da faculdade, nada pra ver aqui,...
Language:Shell1
nothenrin/algorithms
ayooo
Language:Rust
nothenrin/circuit-breaker
Language:Rust
nothenrin/data-structures
Language:OCaml
nothenrin/habits-tracker-api
Language:Go
nothenrin/he4rtoberfest-2022
Repo oficial do He4rtoberfest da He4rt Developers 2022
nothenrin/laravel-ddd-boilerplate
Language:PHP
nothenrin/laravelBlog
Language:JavaScript
nothenrin/links
Language:HTML
nothenrin/melange-nix-template
Language:Nix
nothenrin/ocaml-lsp
OCaml Language Server Protocol implementation
nothenrin/php-circuit-breaker
Language:PHP
nothenrin/php-ddd-example
🐘🎯 Hexagonal Architecture + DDD + CQRS in PHP using Symfony 6
nothenrin/pstlc
Language:OCaml1 0
nothenrin/reliable-ish-lock
Language:Rust
nothenrin/saving-for-later
I save some stuff here to read later
nothenrin/scylladb
NoSQL data store using the seastar framework, compatible with Apache Cassandra
nothenrin/terminal-blog-theme
A simple, retro theme for Hugo
Language:SCSS0 0
nothenrin/test-node
Language:JavaScript1 0
nothenrin/testing-melange
Language:Nix