Stars
A Language Server Protocol implementation for Ruff.
An extremely fast Python package and project manager, written in Rust.
Download books from Perlego.com in PDF format
You shouldn't ever lose your work if you're using Git
A Vim plugin which shows git diff markers in the sign column and stages/previews/undoes hunks and partial hunks.
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
The BioScript compiler, ChemStor storage, and Application Binder.
Advent of Code 2021, but I can only use TypeScript's type system to solve the puzzles
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Computerized Academic Track Counselor for L'Altra Montessori School Inc.
A Spring based groovy micro-service that takes grades, NCAE results, number of awards and strand preferences in order to rank what Academic Strand is best for a student.
A rewrite of the application for my college thesis, CAT Counselor. This project is written in Kotlin and part of my first #100DaysOfCode.
A toy permission manager implemented using a graph.
A diary where I write about everything dev related I do whether it's reading, solving problems, or doing a side project here on Github.
A little repository for my Advent of Code 2021 solutions in Go
Official repository for design of the quantum programming language Q# and its core libraries
Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
the Context distribution of the Smalltalk programming language :: live discussion at https://squeak.slack.com
The “Quite OK Image Format” for fast, lossless image compression