stroxler
Follow
-
devenvs Public
Dumping ground for tools, configs, and notes on development environment bootstrapping
UpdatedAug 21, 2025 -
music-notes Public
Notes on music - resources, practice plans, and a backlog of things to study
Jupyter Notebook The Unlicense UpdatedAug 14, 2025 -
pytorch Public
Forked from pytorch/pytorchTensors and Dynamic neural networks in Python with strong GPU acceleration
Python Other UpdatedJul 8, 2025 -
neovim-nix-simple-example Public
Forked from zmre/neovim-nix-simple-exampleSkeleton flake for a full neovim with config and plugins in nix
Nix Apache License 2.0 UpdatedJun 7, 2025 -
pyrefly Public
Forked from facebook/pyreflyA fast type checker and IDE for Python
Rust MIT License UpdatedMay 21, 2025 -
editor-configs Public
Repo for dumping editor configs (I tend to try out lots of variations)
Lua Creative Commons Zero v1.0 Universal UpdatedMay 20, 2025 -
trox-simple-nvim Public
A very simple neovim config - from me re-learning neovim in 2025 (trying to use the latest features)
Lua UpdatedMay 16, 2025 -
ape-nix Public
Configuring machines with nix (experimental; I currently use dotconfar)
Nix UpdatedMay 14, 2025 -
torchft Public
Forked from pytorch/torchftPyTorch per step fault tolerance (actively under development)
Python Other UpdatedMay 12, 2025 -
helion Public
Forked from pytorch/helionA Python-embedded DSL that makes it easy to write fast, scalable ML kernels with minimal boilerplate.
Python BSD 3-Clause "New" or "Revised" License UpdatedMay 7, 2025 -
mypy_primer Public
Forked from hauntsaninja/mypy_primerRun mypy and pyright over millions of lines of code
Python MIT License UpdatedApr 26, 2025 -
pyre-notes-and-tools Public
Some scratch projects I can use for fast end-to-end tests of pyre changes.
-
torchx Public
Forked from pytorch/torchxTorchX is a universal job launcher for PyTorch applications. TorchX is designed to have fast iteration time for training/research and support for E2E production ML pipelines when you're ready.
Python Other UpdatedDec 10, 2024 -
learn-compilers Public
Repo for going through beginner compiler tutorials (probably mostly in OCaml)
OCaml The Unlicense UpdatedOct 6, 2024 -
pyre-ast Public
Forked from grievejia/pyre-astpyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its adoption of tagless-final style.
OCaml MIT License UpdatedJun 18, 2024 -
cpython Public
Forked from python/cpythonThe Python programming language
Python Other UpdatedMay 28, 2024 -
mypy Public
Forked from python/mypyOptional static typing for Python
Python Other UpdatedMay 23, 2024 -
typing Public
Forked from python/typingPython static typing home. Hosts the documentation and a user help forum.
Python Other UpdatedMay 13, 2024 -
pyre-check Public
Forked from facebook/pyre-checkPerformant type-checking for python.
OCaml MIT License UpdatedMay 10, 2024 -
mypy-tenv Public
Wrapper project providing a development environment for mypy
Shell UpdatedApr 9, 2024 -
-
dotconfar Public
Monorepo for my confar (config-as-repositor{y,ies}) setup
Emacs Lisp The Unlicense UpdatedJan 15, 2024 -
python-unidiff Public
Forked from matiasb/python-unidiffUnified diff python parsing/metadata extraction library
Python MIT License UpdatedNov 28, 2023 -
bolt Public
Forked from mukul-rathi/boltBolt is a language with in-built data-race freedom!
OCaml MIT License UpdatedNov 24, 2023 -
ps-langs Public
Getting started with Purescript for PL tools
PureScript The Unlicense UpdatedSep 9, 2023 -
-
pl-notes Public
Dump for notes about PL ideas and implementations
Creative Commons Zero v1.0 Universal UpdatedJul 18, 2023 -
study-cpython Public
Source code, notes, and tools for me to understand the CPython interpreter
Python Creative Commons Zero v1.0 Universal UpdatedJul 13, 2023 -
-
learn-c-2023 Public
(re) learning C, in particular with an eye toward understanding VMs
C UpdatedJul 8, 2023