🛡 Бесплатные VPN конфиги 🌍

Semantic and Structural Speech Graphs

A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev

DOM reconciler benchmark (Chrysalis, Imba, React, Vue, Glimmer)

pix2tex: Using a ViT to convert images of equations into LaTeX code.

data-to-paper: Backward-traceable AI-driven scientific research

Python scraper based on AI

Android app to notify others if you haven't used your device in a given period of time.

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

Parses CSGO demos by tick

Phil 305 - Intro to Formal Methods - Winter 2022

Discussion Seminar: Philosophy of Programming Lanugages

Paper CSS for happy printing

kodbox is a file manager for web. It is a newly designed product based on kodexplorer. It is also a web code editor, which allows you to develop websites directly within the web browser.You can run…

Webpage tracking only using CSS (and no JS)

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

HTML is a Programming Language!

A simple plugin to display a material concept toast or alert message.

📖 master分支：《渲染器》

👩‍🚀 The tiny all-in-one development tool for modern web apps.

Cool Pank themes like Mac OS

Implementing my own version of React

Renders papers from arXiv as responsive web pages so you don't have to squint at a PDF.

A python library for 2 player games.

An extremely fast bundler for the web

👻 Primitive and flexible state management for React

game theory, 2 course, hse

Linux kernel source tree

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Strange Attractors in WebGL