TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
- typescript
- javascript
- language
- typechecker
Repository Index
47,133 repositories indexed
1–24 of 38 · Most stars
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Optional static typing for Python
- python
- types
- typing
- typechecker
Comlink makes WebWorkers enjoyable.
Python wrapper for TA-Lib (http://ta-lib.org/).
- ta-lib
- pattern-recognition
- python
- technical-analysis
A fast type checker and language server for Python
Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
The extensible chat client.
- chat
- irc
- c
- extensible
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
- clang
- cpp
- c
- clang-tidy
An ultra-lightweight Python interpreter that runs with only 4KB of RAM, zero dependencies. It is ready to use out of the box without any configuration required and easy to extend with C. Similar project: MicroPython, JerryScript.
- python
- micropython
- mcu
- iot
🦄 The Enterprise™ programming language
- enterprise
- disruptive-technology
- language
- ajax
Static type checker for Ruby
- ruby
- typechecker
Clooney is an actor library for the web. Use workers without thinking about workers.
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Echarts 5 for R
Tulip Node is the official node.js wrapper for Tulip Indicators. It provides over 100 technical analysis overlay and indicator functions.
A Python type checker
♻️ The most advanced interruptible mechanism to perform actions repetitively until successful.
- go
- library
- module
- retry
Ruby speech recognition with Pocketsphinx
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
A library of mechanised undecidability proofs in the Coq proof assistant.
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform