Official Github for Wharton STAT 4830

Project template for STAT-4830

Awesome Open-ended AI

Physics informed neural network (PINN) for cavity flow governed by Navier-Stokes equation.

Claude Code Emacs integration

C to Rust translator

Main repo. Quil source code.

Programming Language Theory λΠ

Guidelines for low-level cryptography software

A book about category theory

Language development libraries for Rust

A Huff compiler implemented in Racket

An introduction to theorem proving in Lean for the impatient.

The Road to Reality essay and newsletter source. A journey through computational physics, from eval/apply to the Einstein field equations.

A course in numerical methods with Python for engineers and scientists: currently 5 learning modules, with student assignments.

A sequence of Jupyter notebooks featuring the "12 Steps to Navier-Stokes" http://lorenabarba.com/

Solve forward and inverse problems related to partial differential equations using finite basis physics-informed neural networks (FBPINNs)

From the Transistor to the Web Browser, a rough outline for a 12 week course

A minimal GPU design in Verilog to learn how GPUs work from the ground up

llmstep: [L]LM proofstep suggestions in Lean 4.

plasTeX plugin to build formalization blueprints.

Causal inference, graphical models and structure learning in Julia

An open source model predictive control package for Julia.

Hot reloading for your typst files