Gabriel Nogueira's repositories
polymorphic-lambda-calculus
System F implementation in Haskell
create-vite-relay
a well-structured production ready React boilerplate with TypeScript, Relay, Vite & GraphQL with developer experience first
awesome-woovi-challenge
Awesome Woovi Challenges
data-structures-and-algorithms
collection of data structures and algorithms implemented in various programming languages, for learning purposes
higher-rank
A small OCaml implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
hindley-milner-lambda-calculus
a very simple implementation of the hindley-milner type system
lambda-cube
implementation of the dimensions in which the calculation of constructions is generalized, lambda calculus.
nogw.github.io
personal website
monorepo-playground
Monorepo Playground with GraphQL, Relay and TypeScript
apiWithLog
Powerful Fetch
beta-reduction
>simple< implementation
elixir-markdown-util
submit front-matter markdown documentation to postgres
he4rtoberfest-2022
Repo oficial do He4rtoberfest da He4rt Developers 2022
lambda_lifting
wip lambda killer
ocaml.org
Upcoming version of the official OCaml website.
ppx_deriving_variant_record
a simple (and incomplete) ppx to generate constructors for variant records
react-highlight-typeof
a prototype wrapper for react-syntax-highlight to show the type definitions of variables or operators on hover