stroxler

beginning_linux_programming

My code as I work through Beginning Linux Programming 4th ed by Matthew and Stones, Wrox

trox-hsom

My code, learning from Haskell School of Music

ape_osx

Updated install scripts for OSX data science stack

pyre-notes-and-tools

Some scratch projects I can use for fast end-to-end tests of pyre changes.

Serene

Mirror of the original Serene (example llvm project) formerly hosted by devheroes

ape-nix

Configuring machines with nix (experimental; I currently use dotconfar)

bolt

Bolt is a language with in-built data-race freedom!

cpython

The Python programming language

dotconfar

Monorepo for my confar (config-as-repositor{y,ies}) setup

jazz_etudes

Repository to (a) learn some music notation languages and (b) write down snippets of jazz music for study

learn-c-2023

(re) learning C, in particular with an eye toward understanding VMs

learn-compilers

Repo for going through beginner compiler tutorials (probably mostly in OCaml)

learn-purescript-2023

learn-x86-2023

Repo for going through some resources to re-learn C (and maybe some assembly)

LibCST

A concrete syntax tree parser and serializer library for Python that preserves many aspects of Python's abstract syntax tree

music-notes

Notes on music - resources, practice plans, and a backlog of things to study

mypy

Optional static typing for Python

mypy-tenv

Wrapper project providing a development environment for mypy

pl-notes

Dump for notes about PL ideas and implementations

ps-langs

Getting started with Purescript for PL tools

purescript-book

Fork of Purescript By Example (so I can work through the exercises)

pyre-check

Performant type-checking for python.

python-unidiff

Unified diff python parsing/metadata extraction library

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

red

Reason Debugger

static-type-coverage-tooling

A repo for code related to a Pycon Typing Summit 2023 talk on static analysis tools for Python type coverage

study-cpython

Source code, notes, and tools for me to understand the CPython interpreter

tapl-reference-impls

My Github mirror of some existing sources associated with Pierce's "Types and Programming Languages"

typeshed

Collection of library stubs for Python, with static types

typing

Python static typing home. Hosts the documentation and a user help forum.