Discover @henriqueinonhe Open Source projects

Henrique Inonhe (@henriqueinonhe)

henriqueinonhe

Stars
718
Global Rank 40,660 (Top 2 %)
Followers 33
Following 12
Registered almost 8 years ago
Most used languages

TypeScript
58.3 %

JavaScript
16.7 %

C++
16.7 %

HTML
8.3 %
Location 🇧🇷 Brazil
Country Total Rank 635
Country Ranking

TypeScript
40

C++
2,572

promises-training

Practice working with promises through a curated collection of interactive challenges. This repository provides a platform to refine your skills, complete with automated tests to to give you instant feedback and validate your progress.

stack-scoped

Like React Context API but with ordinary functions.

workshop-typescript

note-spitter

logos-proof-assistant

A Typescript/JS framework for building proof assistants. Under development.

parsing-exploration

This a project to explore parsing techniques and related structures like grammars and finite state automata.

eslint-plugin-next-auth0

Rules enforcing best practices when using Auth0's NextJS SDK.

ProofAssistantFramework

A framework for building proof assistants in C++.

next-isomorphic-cookies

Using cookies in NextJS made easy! Seamless integration with SSG and SSR, while avoiding hydration mismatches.

working-effectively-with-a-headless-cms

promises-training-explanations

Turing-Machine

Very simple JS implementation of a Turing Machine (as described by Walter Carnielli and Richard Epstein in "Computable Functions, Logic, and the Foundations of Mathematics").