andrew-werdna

followers

following

stars

Austin, Texas

@Altair_Cepheus

Andrew Brown's starred repositories

fastbook

The fastai book, published as Jupyter Notebooks

Language:Jupyter NotebookNOASSERTION21050 508 234

learnhaskell

Learn Haskell

Language:MakefileCC0-1.07922 264 41

FastUI

Build better UIs faster.

Language:PythonMIT7740 60 198

anyhow

Flexible concrete Error type built on std::error::Error

Language:RustApache-2.05180 24 199

enhancements

Enhancements tracking repo for Kubernetes

Language:GoApache-2.03321 380 1180

ML-foundations

Machine Learning Foundations: Linear Algebra, Calculus, Statistics & Computer Science

Language:Jupyter NotebookMIT3108 132 5

go-concurrency-patterns

Concurrency patterns in Go

Language:Go2646 33 5

go-concurrency-guide

Practical concurrency guide in Go, communication by channels, patterns

Language:Go2403 25 2

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

left-right

A lock-free, read-optimized, concurrency primitive.

Language:RustApache-2.01911 23 52

inferno

A Rust port of FlameGraph

Language:RustNOASSERTION1583 23 107

fantoccini

A high-level API for programmatically interacting with web pages through WebDriver.

Language:RustApache-2.01485 21 110

sofp

A free book: "The Science of Functional Programming"

Language:TeXGPL-2.01259 48 48

macchina

A system information frontend with an emphasis on performance.

Language:RustMIT1211 10 130

rust-magic-patterns

Magical Rust patterns laid out and simplified

Language:Rust1055 170

bus

Efficient, lock-free, bounded Rust broadcast channel

Language:RustApache-2.0766 16 22

components-contrib

Community driven, reusable components for distributed apps

Language:GoApache-2.0533 35 1448

rust-tcp

A learning experience in implementing TCP in Rust

Language:Rust480 16 4

design-proposals-archive

Archive of Kubernetes Design Proposals

Language:MakefileApache-2.0463 170

js-real-world-functional-programming

Tips and guidelines for real world functional code-bases in JS

rustengan

https://fly.io/dist-sys/ in Rust

Language:RustApache-2.0258 4 1

llmgraph

Create knowledge graphs with LLMs

Language:Jupyter NotebookMIT196 7 5

Hacker-Roadmap

A detailed plan to become proficient in hacking and penetration testing.

awesome-provable

A curated set of links to formal methods involving provable code.

community

Governance and community material for Dapr and its open source sub-projects

Apache-2.0134 29 293

fizzbee

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Language:PythonApache-2.0100 4 2

papers-to-read

My curated list of papers I need to read (or already did), mostly about PLT

MIT52 50

plt-formal-methods-resources

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

Digital-Subband-Video-1

Wavelet video codec in less than 5000 lines of C. Comparable to MPEG-1/MPEG-2 in terms of efficiency and quality.

Language:CNOASSERTION31 10

foundation

TLA+ Foundation

Language:CSS24 17 2