Turn typed Python functions into web interfaces.
Repository Index
47,133 repositories indexed
49–72 of 125 · Most stars
Laya typed decisions on Linux x86_64 via ONNX Runtime
Programming language agnostic type construction language based on polynomials.
- type-definitions
- serialization-library
- types
- f-algebras
🦩 Joi like validations for TypeScript
- validation
- typescript
- runtime
- strongly-typed
Use TypeScript in your Ember.js apps!
- ember-cli
- typescript
- addon
- emberjs
Import data files from TypeScript, fully typed. Powered by TypeScript 7.1 content mappers.
Hashing for Modern Object Pascal
- delphi
- fpc
- checksum
- stream
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
TypeDB Studio: An interactive visual environment for TypeDB
- knowledge-base
- visualisation
- graph-visualization
- network
Convert a string/promise/array/iterable/asynciterable/buffer/typedarray/arraybuffer/object into a stream
- readable-stream
- stream
- nodejs
- npm-package
A set of F# Type Providers for statically typed access to MS SQL database
Strongly typed library for the entire SendGrid v3 API, including webhooks
- sendgrid
- sendgrid-api-wrapper
- sendgrid-inbound-webhook-parser
Typed Regular Expressions
- regex
- types
- gadt
- ocaml
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Open Source Threat Intelligence Platform
- cti
- cybersecurity
- security
- intelligence
A libGDX Label that appears as if it was being typed in real time.
- libgdx
- scene2d
typed bidirectional router for OCaml/ReasonML web applications
- ocaml
- router
- http-router
- http-routing
Castor is a lightweight, typed Actor library for Scala and Scala.js
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
- domain-specific-language
- gamemaker-studio-2
- dynamically-typed
- compiler
F# type providers to support statically typed access to input parameters and result set of sql statement in idiomatic F# way. Data modifications via statically typed tables.
pytest plugin for testing mypy types, stubs, and plugins
- pytest
- mypy
- python
- pep484
A strongly-typed genetic programming framework for Python
- python
- ipynb
- genetic-programming
- framework
A Java-based statically-typed fast template engine that can be used in any Java code. It has special adapter for use with the Play! Framework.