Topic: type-checking Goto Github
Some thing interesting about type-checking
Some thing interesting about type-checking
type-checking,Large Scale Type Systems (programming language)
User: andrew-johnson-4
Home Page: https://andrew-johnson-4.github.io/lsts-tutorial/
type-checking,A tool for generating Mypy type stubs from a Protocol Buffer definition.
Organization: arachnys
type-checking,🐍🌿💚 Integrate MyPy type-checking into your Python Bazel builds
Organization: bazel-contrib
type-checking,Type-safe Lua IDE — IntelliJ IDEA plugin
User: benjamin-dobell
type-checking,Type Analyzer for JavaScript
Organization: cs-au-dk
Home Page: http://www.brics.dk/TAJS/
type-checking,Another biased type checking solution for Javascript
User: dcousens
type-checking,Try Pyright in your browser
User: decorator-factory
Home Page: https://pyright-playground.decorator-factory.su/
type-checking,A simple plugin that allows running mypy from PyCharm and navigate between errors
Organization: dropbox
type-checking,🛠 Python project template with unit tests, code coverage, linting, type checking, Makefile wrapper, and GitHub Actions.
User: eugeneyan
Home Page: https://eugeneyan.com/writing/setting-up-python-project-for-automation-and-collaboration/
type-checking,🔮 A refreshing functional take on deep learning, compatible with your favorite libraries
Organization: explosion
Home Page: https://thinc.ai
type-checking,Decorator which checks whether the function is called with the correct type of parameters.
User: felixthec
Home Page: https://pypi.org/project/strongtyping/
type-checking,Runtime type and bounds-error checking for C/C++
User: gjduck
type-checking,Code from the book "Types and Programming Languages" in Scala
User: ilya-klyuchnikov
type-checking,High-performance Vision library in Python. Scale your research, not boilerplate.
User: jasmcaus
Home Page: https://caer.readthedocs.io
type-checking,Type checking and logical inference for JetBrains MPS
Organization: jetbrains
Home Page: https://jetbrains.github.io/mps-coderules
type-checking,🐍 Example Python project using best practices 🥇
User: johnthagen
Home Page: https://johnthagen.github.io/python-blueprint/
type-checking,Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
User: josverl
Home Page: https://micropython-stubs.readthedocs.io
type-checking,A simple runtime JSON type checker.
User: kawmra
type-checking,A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
Organization: kudu-dynamics
type-checking,Runtime type annotations for CoffeeScript (and JavaScript too!)
User: laurentpayot
type-checking,A PEG Parsing Tool
User: lionelauroux
Home Page: http://pythonhosted.org/pyrser
type-checking,Some useful decorators for any situation. Includes runtime type checking.
User: lostindarkmath
type-checking,Swift type checking and semantic analysis for developer tools
User: maxdesiatov
type-checking,JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
User: mesqueeb
Home Page: https://mesqueeb.github.io/is-what/
type-checking,👷 TypeScript's largest type utility library
User: millsp
Home Page: https://millsp.github.io/ts-toolbelt/
type-checking,🏝 automated contract testing via type checking for Elixir functions and mocks
User: msz
type-checking,:sparkles::rocket: Blazing fast, inferred static type checker for JavaScript.
User: nickzuber
type-checking,A JavaScript type checking/casting library
User: omgimalexis
type-checking,A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
Organization: orsinium-labs
type-checking,MOVED TO GITLAB
User: philbooth
Home Page: https://gitlab.com/philbooth/check-types.js
type-checking,A plugin for Flake8 that provides specializations for type hinting stub files
Organization: pycqa
type-checking,Extensions for mypy
Organization: python
type-checking,TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
User: qqwy
type-checking,Blazing fast input validation and transformation ⚡
Organization: sapphiredev
Home Page: https://www.sapphirejs.dev
type-checking,Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
User: sdiehl
type-checking,A development toolkit for Ruby with several small/cohesive abstractions to empower your development workflow - It's totally free of dependencies.
User: serradura
Home Page: http://rubygems.org/gems/kind
type-checking,Function argument validation for humans
User: sindresorhus
Home Page: https://sindresorhus.com/ow/
type-checking,🔥 TypeScript type assertion plugin for vitest
User: skarab42
Home Page: https://www.npmjs.com/package/vite-plugin-vitest-typescript-assert
type-checking,Program analysis playground for a simple, imperative language
User: skius
type-checking,Strong Dynamically Typed Object Modeling for JavaScript
User: sylvainpolletvillard
Home Page: http://objectmodel.js.org
type-checking,The compiler for Teal, a typed dialect of Lua
Organization: teal-language
type-checking,Python project manager inspired in Cargo.
User: tomperez98
Home Page: https://pypi.org/project/pyrgo/
type-checking,Typeis. it's the smart and simple javaScript type checker
Organization: typeis
Home Page: https://typeis.github.io/
type-checking,⚡️ Runtime type-checker for JavaScript
User: vitalets
type-checking,Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
User: vitorsvieira
Home Page: https://www.scala-lang.org/blog/2017/10/09/scalamacros.html
type-checking,Predicates for type checking, assertions, filtering etc
User: wookieb
type-checking,Runtime type checking for JS with Hindley Milner signatures
Organization: xodio
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.