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 34 · 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+.
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
Interact with Substrate based nodes in Rust or WebAssembly
A Python type checker
inVtero.net: A high speed (Gbps) Forensics, Memory integrity & assurance. Includes offensive & defensive memory capabilities. Find/Extract processes, hypervisors (including nested) in memory dumps using microarchitechture independent Virtual Machiene Introspection techniques
- forensics
- hypervisor
- memory-dump
- reverse-engineering
Id Software's Id-tech-4-BFG in the Ada programming language.
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
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
Simple Command Line Options Parser - part of the DUnitX Project
- delphi
- commandlineparser
- pascal
- option-parser