cc @sseraphini

A small library used to shadow polymorphic operators (and functions) contained in the stdlib.

it's good friday, so why not implement some typeclasses in c?

A list of awesome C preprocessor stuff

a small one-file lisp implemented in kind2, intentionally incomplete

personal website

collection of data structures and algorithms implemented in various programming languages, for learning purposes

implementation of the dimensions in which the calculation of constructions is generalized, lambda calculus.

a small object-oriented programming language implemented in typescript, because we need to know our enemies, check the README

a dedicated space for keeping my notes and links related to the various topics I am studying or intend to study

a well-structured production ready React boilerplate with TypeScript, Relay, Vite & GraphQL with developer experience first

implementation of the dimensions in which the calculation of constructions is generalized, lambda calculus.

System F implementation in Haskell

Violetit is a Reddit clone developed as a monorepo with React + Relay and a few more things