penguin-wwy

poetry

Python packaging and dependency management made easy

mold

Mold: A Modern Linker 🦠

py-spy

Sampling profiler for Python programs

pytest

The pytest framework makes it easy to write small tests, yet scales to support complex functional testing

milewski-ctfp-pdf

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

utterances

:crystal_ball: A lightweight comments widget built on GitHub issues

pdm

A modern Python package and dependency manager supporting the latest PEP standards

pip-tools

A set of tools to keep your pinned Python dependencies fresh.

PyGithub

Typed interactions with the GitHub API v3

pyinstrument

🚴 Call stack profiler for Python. Shows you why your code is slow!

ocaml

The core OCaml system: compilers, runtime system, base libraries

racket

The Racket repository

chisel

Chisel: A Modern Hardware Design Language

KEEP

Kotlin Evolution and Enhancement Process

archbase

教科书《计算机体系结构基础》（胡伟武等，第三版）的开源版本

pipdeptree

A command line utility to display dependency tree of the installed Python packages

Cyberbrain

Python debugging, redefined.

Idris2

A purely functional programming language with first class types

CompCert

The CompCert formally-verified C compiler

snakeware

A free Linux distro with a Python-based userspace

egg

egg is a flexible, high-performance e-graph library

pydriller

Python Framework to analyse Git repositories

maat

Open-source symbolic execution framework: https://maat.re

wasmtime-py

Python WebAssembly runtime powered by Wasmtime

rellume

Lift machine code to performant LLVM IR

LanguageServer.jl

An implementation of the Microsoft Language Server Protocol for the Julia language.

PLAI-cn

Programming Languages: Application and Interpretation

magic-in-ten-mins-ml

十分钟魔法练习 in OCaml

intellij-datalog

Consistent-Subtyping-for-All

Haskell implementation and Coq proof for an implicit polymorphic gradual type system.