- São Paulo
-
18:16
(UTC -12:00) - https://nogw.github.io/
-
-
neuron Public
a dedicated space for keeping my notes and links related to the various topics I am studying or intend to study
4 UpdatedApr 17, 2024 -
violetit Public
Violetit is a Reddit clone developed as a monorepo with React + Relay and a few more things
-
create-vite-relay Public template
a well-structured production ready React boilerplate with TypeScript, Relay, Vite & GraphQL with developer experience first
-
monorepo-playground Public
Monorepo Playground with GraphQL, Relay and TypeScript
TypeScript MIT License UpdatedJun 15, 2023 -
-
higher-rank Public
A small OCaml implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
-
-
collection of data structures and algorithms implemented in various programming languages, for learning purposes
-
-
weird-c Public
lambda-calculus-to-C written in the weirdest way possible in typescript
-
ts-match Public
wip: a simple, small, and possibly very flawed implementation of pattern matching in typescript
TypeScript MIT License UpdatedApr 9, 2023 -
typeclang Public
it's good friday, so why not implement some typeclasses in c?
-
-
awesome-woovi-challenge Public
Forked from woovibr/awesome-woovi-challengeAwesome Woovi Challenges
1 UpdatedMar 22, 2023 -
react-highlight-typeof Public
a prototype wrapper for react-syntax-highlight to show the type definitions of variables or operators on hover
TypeScript UpdatedMar 11, 2023 -
-
objecat Public
a small object-oriented programming language implemented in typescript, because we need to know our enemies, check the README
-
lambda-cube Public
Forked from noge-labs/lambda-cubeimplementation of the dimensions in which the calculation of constructions is generalized, lambda calculus.
-
-
ppx_deriving_variant_record Public
a simple (and incomplete) ppx to generate constructors for variant records
OCaml MIT License UpdatedDec 21, 2022 -
he4rtoberfest-2022 Public
Forked from he4rt/he4rtoberfest-2022Repo oficial do He4rtoberfest da He4rt Developers 2022
Java UpdatedOct 13, 2022 -
elixir-markdown-util Public
submit front-matter markdown documentation to postgres
Elixir UpdatedSep 20, 2022 -
-
a very simple implementation of the hindley-milner type system
-
agora-online-chatroom Public
Forked from codyseibert/agora-online-chatroomTypeScript MIT License UpdatedAug 18, 2022 -
-
-
polymorphic-lambda-calculus Public
System F implementation in Haskell
-
ocaml.org Public
Forked from ocaml/ocaml.orgUpcoming version of the official OCaml website.
OCaml Other UpdatedApr 13, 2022