8000 grievejia (Jia Chen) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View grievejia's full-sized avatar

Block or report grievejia

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Python 2 Updated Aug 2, 2026

三位老师,一段故事,零个标准答案。——当苏格拉底教学法遇上轻小说叙事,学习便不再孤独。

JavaScript 32 10 Updated Oct 21, 2026

☄️ Python's nested data operator (and CLI), for all your declarative restructuring needs. Got data? Glom it! ☄️

Python 2,170 99 Updated Sep 8, 2026

🔩 Like builtins, but boltons. 250+ constructs, recipes, and snippets which extend (and rely on nothing but) the Python standard library. Nothing like Michael Bolton.

Python 6,943 515 Updated Oct 25, 2026

💿 Free software that works great, and also happens to be open-source Python.

Jupyter Notebook 18,141 2,749 Updated Oct 18, 2026

A fast type checker and language server for Python

Rust 7,186 590 Updated Nov 6, 2026

A latent text-to-image diffusion model

Jupyter Notebook 73,570 10,672 Updated Jun 18, 2024

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

Python 13,550 446 Updated Nov 1, 2026

The easiest way to parse text in Python

Python 112 5 Updated Apr 1, 2026

Static website generator based on HTML element tree rewriting

OCaml 431 21 Updated Apr 24, 2026

Parser combinators built for speed and memory efficiency

OCaml 707 74 Updated Sep 12, 2024

A Python test framework

Python 151 64 Updated Oct 26, 2026
Racket 60 8 Updated Jan 30, 2014

The Ott tool for writing definitions of programming languages and calculi

OCaml 429 58 Updated Sep 16, 2026

An open world adventure and dungeon crawling game

OCaml 143 4 Updated Jan 5, 2019

A modified Firefox browser to log a series of JavaScript executions for fingerprinting detection

1 Updated Jan 30, 2019

A lightweight sandbox tool for non-root users

C 666 44 Updated Jun 21, 2018

📔🌼 An example website/book created with Pollen.

Perl 135 11 Updated May 23, 2025

libnop: C++ Native Object Protocols

C++ 579 62 Updated Aug 11, 2024

📓🍎 A tech notebook

Racket 80 9 Updated Sep 28, 2026

Spartan type theory

OCaml 277 18 Updated Sep 12, 2025

Simple template for midsize OCaml project

OCaml 132 15 Updated Jan 23, 2025

Landing rockets using deep reinforcement learning!

Scala 1 Updated Apr 19, 2018

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies

C++ 76,992 12,101 Updated Nov 5, 2026

A single-header ANSI C gui library

C 13,969 1,107 Updated Jan 3, 2020

Android and Java bytecode viewer

Java 7,547 870 Updated May 19, 2023

Stylish Computer Generated Handwritings

Scala 138 33 Updated May 21, 2018

Recursive Program Synthesis using input-output examples

Scala 7 4 Updated May 25, 2017

SMACK Software Verifier and Verification Toolchain

C 450 86 Updated Aug 28, 2026

ELINA: ETH LIbrary for Numerical Analysis

C++ 137 61 Updated Apr 7, 2023
Next
0