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

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

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

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

A fast type checker and language server for Python

A latent text-to-image diffusion model

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

The easiest way to parse text in Python

Static website generator based on HTML element tree rewriting

Parser combinators built for speed and memory efficiency

A Python test framework

The Ott tool for writing definitions of programming languages and calculi

An open world adventure and dungeon crawling game

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

A lightweight sandbox tool for non-root users

📔🌼 An example website/book created with Pollen.

libnop: C++ Native Object Protocols

📓🍎An experimental blog written in Pollen / Racket

Spartan type theory

Simple template for midsize OCaml project

Landing rockets using deep reinforcement learning!

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

A single-header ANSI C gui library

Android and Java bytecode viewer

Stylish Computer Generated Handwritings

Recursive Program Synthesis using input-output examples

SMACK Software Verifier and Verification Toolchain

ELINA: ETH LIbrary for Numerical Analysis

Auto-formatter for OCaml code