qnbhd
Follow
Stars
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
A list of programming languages implemented in Rust, for inspiration.
Resources for type theory, functional programming, etc.
Control-Flow, Dominator Tree, and dot output from Python bytecode
Interpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…
A curated list of Rust code and resources.
😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes
A curated list of awesome transpilers. aka source-to-source compilers
A summary of ideas about transpilation -- work in progress
A common base representation of python source code for pylint and other projects
A collection of resources for learning type theory and type theory adjacent fields.
THIS REPOSITORY IS JUST MIRROR! Main development repository is https://codeberg.org/Freedium-cfd/web
The strictest and most opinionated python linter ever!
Turn your raw SQL queries into fully type annotated Python functions with a single decorator.
A Book about Pythonic Application Architecture Patterns for Managing Complexity. Cosmos is the Opposite of Chaos you see. O'R. wouldn't actually let us call it "Cosmic Python" tho.
Beautifully designed components. Built with Kobalte & corvu. Styled with Tailwind CSS.
Learn database internals by implementing it from scratch.
PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement
Embeddable Postgres with real-time, reactive bindings.
Python package for strings binary classification, based on trees and regular expressions