Henrique Inonhe (@henriqueinonhe)
github

henriqueinonhe

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    718
  • Global Rank 41,902 (Top 2 %)
  • Followers 33
  • Following 12
  • Registered over 8 years ago
  • Most used languages
    TypeScript
         61.5 %
    C++
         15.4 %
    JavaScript
         15.4 %
    HTML
         7.7 %
  • Location 🇧🇷 Brazil
  • Country Total Rank 635
  • Country Ranking
    TypeScript
         40
    C++
         3,501

Top repositories

1

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.
TypeScript
776
star
2

stack-scoped

Like React Context API but with ordinary functions.
TypeScript
2
star
3

workshop-typescript

TypeScript
2
star
4

note-spitter

C++
1
star
5

logos-proof-assistant

A Typescript/JS framework for building proof assistants. Under development.
TypeScript
1
star
6

parsing-exploration

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

eslint-plugin-next-auth0

Rules enforcing best practices when using Auth0's NextJS SDK.
JavaScript
1
star
8

ProofAssistantFramework

A framework for building proof assistants in C++.
C++
1
star
9

frontend-e2e-training

TypeScript
1
star
10

next-isomorphic-cookies

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

working-effectively-with-a-headless-cms

TypeScript
1
star
12

promises-training-explanations

JavaScript
1
star
13

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").
HTML
1
star