miguel-nascimento

brainfuck-hs

A brainfuck interpreter in Haskell. Rewrite of tsfuck

chip-8

Chip 8 emulator written in Rust 🕹️

r3f-vite-boilerplate

⚡ A boilerplate for creating a react-three-fiber app using Vite, with some useful extras.

my-notes

📚 My personal notes repository

algorithm-j-rs

🐪 -like type inference in 🦀

jal

just another language

my-blog

you'll find good content here in the future

nixos-config

My Nix config

fullstack-challenge

ocaml-lambda-calculus

🐪 My OCaml journey to understand code

99-hs

my solves for Haskell 99 problems

aoc-21

Advent of Code 2021

fluffy-cat

🐈 simple and not complete GNU cat clone

Haskell4Noobs

Único roadmap de Haskell possível, do noob ao Thanos

lambda-calculus

✈️ My journey to understand Programming Languages

plfa

learning agda through plfa

column-challenge

fdevs-dotnet

My dotnet study repository for FDev's Course

gl-lib-error

Just a project to test vercel pre-build native dependencies

HVM

A massively parallel, optimal functional runtime in Rust

Kind

A modern proof language

Kind2

Kind refactor based on HVM

miguel-nascimento

prelude

Estruturas puramente funcionais na HVM

stack-hs

simple stack-based interpreter

stock-control

📦 [WIP] Back-end of stock controller

vingt-un

🃏 twenty one cli-based made using OCaml

client-js

An easy way to interact with Zipper Applets from anywhere that supports ESM, CommonJS, or TypeScript.

deno-openai

Unofficial Deno wrapper for the Open Ai api

maelstrom-challenge-rs

Fly.io distributed systems challenges 🤖