cfbolz Goto Github PK

500lines

500 Lines or Less

aarch64-baremetal

academicpages.github.io

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

are-we-fast-yet

asgiref

ASGI specification and utilities

attrs

Attributes without boilerplate.

compilerjobs

A listing of compiler, language and runtime teams for people looking for jobs in this area

conjecture

Conjecture is a new approach to property based testing

contributor_covenant

Pledge your respect and appreciation for contributors of all kinds to your open source project.

converge

The Converge programming language

cosmopolitan

build-once run-anywhere c library

coveragepy

The code coverage tool for Python

cpython

The Python programming language

devguide

The Python developer's guide

double-blind-reviewing.github.io

eli-unification

Code samples from my blog

example-sphinx-basic

A basic Sphinx project for Read the Docs

exceptiongroup

Backport of PEP 654 (exception groups)

exercises-in-programming-style

Comprehensive collection of programming styles using a simple computational task, term frequency

glom

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

greenery

FSM/regex conversion library

group-theory-game

Building group theory from scratch in Lean

haneul-rpython

누리 프로그래밍 언어의 RPython 백엔드입니다.

hpyproject.org

ipython

Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.

lean-carddisjointunion

lean-classequation

micrograd

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

minitrace

experiments in building tiny tracing JITs in various languages (Prolog to start)

msgpack-python

MessagePack serializer implementation for Python msgpack.org[Python]