Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
47,133 repositories indexed
97–120 of 141 · Most stars
Decorator which checks whether the function is called with the correct type of parameters.
A decent CSS parser.
WebAssembly runtime for Crystal
🚦 Semaphore pattern implementation with timeout of lock/unlock operations.
Libraries to ease common developer tasks associated with building multi-platform mobile, desktop and web applications using Uno Platform or WinAppSDK.
Macro based compile-time SCSS transpilation, CSS minification, and class name uniquification toolchain inspired by CSS modules.
Ada WASM Runtime and Bindings for Web API
WebAssembly wrapper to simplify fast math coding
A multiplexor for aligned time.Time tickers in Go
A collection of classes to give a fluent builder for Streams (Lazy Groovy Generators)
Common Lisp bindings and interface to the Allegro 5 game programming library
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
C# wrapper for FlashRuntimeExtensions
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
D bindings for nuklear
Compile-Time Parser Generator in D programming language.
Ada binding to the SFML library
Run promise-returning & async functions a specific number of times concurrently
Parser and printer for date-times in ISO8601
This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.
Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg