Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
Repository Index
47,133 repositories indexed
1–15 of 15 · Most stars
JavaScript & TypeScript persistent and optionally immutable data tree with cursors.
A really simple way to move a function or class to a web worker. 🏋️♀️→ 😄
- webworker
- javascript
- developer-tools
- thread
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
- typescript
- typescript-library
- typescript-definitions
- functional-programming
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
The ultimate Python binding for Vulkan API
- vulkan
- python
Language bindings generated from the GTFS Realtime protocol buffer spec for popular languages.
Unreal.hx: Haxe Integration for Unreal
A fork of Cliff Click's High Scale Library. Improved with bug fixes and a real build system.
Mypy static type checker plugin for Pytest
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
A realtime visual programming language for interactive media.
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis