Pinned Repositories
algorithm-j-rs
🐪 -like type inference in 🦀
brainfuck-hs
A brainfuck interpreter in Haskell. Rewrite of tsfuck
chip-8
Chip 8 emulator written in Rust 🕹️
jal
just another language
my-blog
you'll find good content here in the future
my-notes
📚 My personal notes repository
nixos-config
My Nix config
ocaml-lambda-calculus
🐪 My OCaml journey to understand code
r3f-vite-boilerplate
⚡ A boilerplate for creating a react-three-fiber app using Vite, with some useful extras.
pizza-juice
🍕 Pizza Juice: the Neon District Design System
miguel-nascimento's Repositories
miguel-nascimento/brainfuck-hs
A brainfuck interpreter in Haskell. Rewrite of tsfuck
miguel-nascimento/chip-8
Chip 8 emulator written in Rust 🕹️
miguel-nascimento/r3f-vite-boilerplate
⚡ A boilerplate for creating a react-three-fiber app using Vite, with some useful extras.
miguel-nascimento/my-notes
📚 My personal notes repository
miguel-nascimento/algorithm-j-rs
🐪 -like type inference in 🦀
miguel-nascimento/jal
just another language
miguel-nascimento/my-blog
you'll find good content here in the future
miguel-nascimento/nixos-config
My Nix config
miguel-nascimento/fullstack-challenge
miguel-nascimento/ocaml-lambda-calculus
🐪 My OCaml journey to understand code
miguel-nascimento/99-hs
my solves for Haskell 99 problems
miguel-nascimento/aoc-21
Advent of Code 2021
miguel-nascimento/fluffy-cat
🐈 simple and not complete GNU cat clone
miguel-nascimento/Haskell4Noobs
Único roadmap de Haskell possível, do noob ao Thanos
miguel-nascimento/lambda-calculus
✈️ My journey to understand Programming Languages
miguel-nascimento/plfa
learning agda through plfa
miguel-nascimento/column-challenge
miguel-nascimento/fdevs-dotnet
My dotnet study repository for FDev's Course
miguel-nascimento/gl-lib-error
Just a project to test vercel pre-build native dependencies
miguel-nascimento/HVM
A massively parallel, optimal functional runtime in Rust
miguel-nascimento/Kind
A modern proof language
miguel-nascimento/Kind2
Kind refactor based on HVM
miguel-nascimento/miguel-nascimento
miguel-nascimento/prelude
Estruturas puramente funcionais na HVM
miguel-nascimento/stack-hs
simple stack-based interpreter
miguel-nascimento/stock-control
📦 [WIP] Back-end of stock controller
miguel-nascimento/vingt-un
🃏 twenty one cli-based made using OCaml
miguel-nascimento/client-js
An easy way to interact with Zipper Applets from anywhere that supports ESM, CommonJS, or TypeScript.
miguel-nascimento/deno-openai
Unofficial Deno wrapper for the Open Ai api
miguel-nascimento/maelstrom-challenge-rs
Fly.io distributed systems challenges 🤖