fersilva16

ts-report-action

GitHub Action to report TypeScript errors in Pull Requests

nix-config

My NixOS configuration

lcts

Lambda Calculus parser and interpreter made in TypeScript's type system

blog

leaky-bucket

Leaky bucket implementation using Redis sorted set

type-level-typescript-talk

graphql-refs-rfc

ts-setup

lean4-peano

Peano numbers in Lean 4

pr-ts-report-action-test

Report TS errors in PRs with a GitHub Action

eslint-rules-talk

fly-dist-sys

haskell-yaml

YAML parser in haskell

sf

Software Foundations

utube

Youtube clone with NodeJS, TypeScript, MongoDB, React, GraphQL and Relay

.doom.d

chess-notation

ferinth

A simple Rust wrapper for the official Modrinth API

ferium

Fast and multi-source CLI program for managing Minecraft mods and modpacks from Modrinth, CurseForge, and GitHub Releases

fersilva16

furse

A simple Rust wrapper for the official CurseForge API

georgio

graphql-js

A reference implementation of GraphQL for JavaScript

jest-preview

Debug your Jest tests. Effortlessly.🛠🖼

libium

Multi-source backend for managing Minecraft mods and modpacks from Modrinth, CurseForge, and Github Releases

natural-numbers-from-scratch-talk

Introduction to Peano numbers in Lean 4

prisma

Next-generation ORM for Node.js & TypeScript | PostgreSQL, MySQL, MariaDB, SQL Server, SQLite, MongoDB and CockroachDB

relay-testing

typescript-unsoundness

graphql-js-wg

Working group notes for graphql-js