nniinnoo Goto Github PK

a2oj-ladder

A2OJ Ladder checkbox

actual

A local-first personal finance system

affine

There can be more than Notion and Miro. Affine is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.

alpaca.cpp

Locally run an Instruction-Tuned Chat-Style LLM

alphafold

Open source code for AlphaFold.

alphageometry

awesome-competitive-programming

:gem: A curated list of awesome competitive programming / algorithm / data structure resources

awesome-deep-learning-papers

The most cited deep learning papers

basic-computer-games

An updated version of the classic "Basic Computer Games" book, with well-written examples in a variety of common programming languages

bits-stdc-.h-for-mac

bulletproof-react

🛡️ ⚛️ A simple, scalable, and powerful architecture for building production ready React applications.

coding-interview-university

A complete computer science study plan to become a software engineer.

computer-science

:mortar_board: Path to a free self-taught education in Computer Science!

cph

Makes judging, compiling, and downloading problems for competitive programming easy.

free-courses-cs

List of awesome university courses for learning Computer Science!

free-programming-books

front-end-checklist

🗂 The perfect Front-End Checklist for modern websites and meticulous developers

front-end-design-checklist

💎 The Design Checklist for Creative Web Designers and Patient Front-End Developers

front-end-performance-checklist

🎮 The only Front-End Performance Checklist that runs faster than the others

fstar

A Proof-oriented Programming Language

gatsby-starter-lumen

A constantly evolving and thoughtful architecture for creating static blogs.

google-tensorflow

Computation using data flow graphs for scalable machine learning

grokking-deep-learning

this repository accompanies my forthcoming book "Grokking Deep Learning"

gym

A toolkit for developing and comparing reinforcement learning algorithms.

javascript

JavaScript Style Guide

lean

Lean Theorem Prover

lean4

Lean 4 programming language and theorem prover

leancopilot

LLMs as Copilots for Theorem Proving in Lean

learn-awesome-gamedev

A curated collection of game development resources

manim

Animation engine for explanatory math videos