gradual typing, type gradual, optional types, dynamic typing, type soundness
Discover
⌨️ Programming Languages & Tools
Effect Migration, Unknown Effects, Dynamic Checking, Gradual Typing
github trending, open source, new repos, starred projects
Ghostty terminal, terminal emulator, Zig terminal, Mitchell Hashimoto
GDScript, Godot scripting, Godot 4, game scripting, Godot language
Simulation, Collision Detection, Rigid Bodies, Dynamics
Parquet, Avro, Protocol Buffers, Arrow
Stack Language, Concatenative, Quotations, Dynamic Typing
Cutting-edge Standards, Browser APIs, Prototype Applications, Future Web
emulation, emulator development, hardware emulation, CPU emulation
Frontend, No Runtime Exceptions, Architecture Pattern, Pure Functions
Dioxus framework, Rust UI, RSX, cross-platform Rust GUI
developer tools, build tools, bundler, Vite, webpack
software development, programming, coding, developers
Design Systems, Style Dictionary, Theming, Component Libraries
DWARF, GDB, LLDB, debug info, breakpoints
dataflow analysis, static analysis, def-use chains, reaching definitions, lattice
AI Code Editor, Autocomplete, Context Windows, Pair Programming