ianzhao05

graph-visualizer

FPOP

Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286

groot

Build real-time GraphQL APIs easily in Go

42_CheatSheet

A comprehensive guide to 50 years of evolution of strict C programming, a tribute to Dennis Ritchie's language

rust

Empowering everyone to build reliable and efficient software.

myscheme

R5RS Scheme interpreter

undis

A key-value store and TCP server

ultimate-saas-ts

Template to quickstart a SAAS business

supabase

The open source Firebase alternative.

timeout

Progressive Web App built with Typescript and React that lets you create, manage, and track your workouts.

redwood

The App Framework for Startups

neovim

Vim-fork focused on extensibility and usability

crystal

🔮 Graphile's Crystal Monorepo; home to Grafast, PostGraphile, pg-introspection, pg-sql2 and much more!

twin.macro

🦹‍♂️ Twin blends the magic of Tailwind with the flexibility of css-in-js (emotion, styled-components, solid-styled-components, stitches and goober) at build time.

listapp

A CRUD application built with React, Next.js, GraphQL, and PostgreSQL

vscode-neovim

Vim mode for VSCode, powered by Neovim

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

next.js

The React Framework

react

The library for web and native user interfaces.

powerlevel10k

A Zsh theme

ohmyzsh

🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

cpython

The Python programming language

vscode

Visual Studio Code

textshot

Python tool for grabbing text via screenshot