Topic: typechecking Goto Github
Some thing interesting about typechecking
Some thing interesting about typechecking
typechecking,Learn TypeScript Fundamentals
User: afzaalb
typechecking,A minimal type checking library that I need in various projects for safer programming
User: alexewerlof
Home Page: https://userpixel.github.io/jty/
typechecking,Project #48 of Codecademy's Full Stack Engineer Career Path
User: antonv0
Home Page: https://copycat-react.netlify.app/
typechecking,A functional programming language based on system F (omega) ft. NbE and higher order unification
User: aradarbel10
Home Page: https://aradarbel10.github.io/Styff/
typechecking,Infer Python types from JSON data, use them for auto serialisation and parsing
User: avanov
Home Page: https://typeit.readthedocs.io/en/develop/
typechecking,A GitHub Action which typechecks and lints all Dhall files in a repository.
User: awseward
typechecking,A garden of small programming language implementations ðŠī
User: brendanzab
typechecking,A simple CLI util to mark all your current TS errors as expected. Useful when you wan to fail your builds on a new type error while expecting the old ones
User: capaj
typechecking,Structural type checking for Python
Organization: christabor-archive
typechecking,An educational Yacc parser implementation for the specified grammar, featuring Java-like addition rules and integrated type checking for assignment consistency. Explore code, examples, and tests to deepen your understanding of Yacc parsing and semantic analysis.
User: cizr
typechecking,A package of InferJS tools, designed for runtime checking of JavaScript types and narrowing through expectations.
User: codevendor
Home Page: https://inferjs.com
typechecking,A compiler that processes JSDoc comments into an InferObject File for utilizing with the InferJS Library.
User: codevendor
Home Page: https://inferjs.com
typechecking,A runtime library that allows you to infer rules for extended type checking in JavaScript.
User: codevendor
Home Page: https://inferjs.com
typechecking,Runtime type checking against composable schemas
User: danprince
typechecking,trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
User: davidfstr
Home Page: https://dafoster.net/projects/trycast/
typechecking,Checks if JavaScript variable is a number. Strings are not allowed.
User: drag13
typechecking,coulomb: unit analysis for Scala
User: erikerlandson
Home Page: https://erikerlandson.github.io/coulomb/
typechecking,Distributed locks and cached based utils
Organization: ezygang
Home Page: https://py-cachify.readthedocs.io/en/latest/
typechecking,Decorator which checks whether the function is called with the correct type of parameters.
User: felixthec
Home Page: https://pypi.org/project/strongtyping/
typechecking,Type checking utilities for React elements.
User: flextremedev
Home Page: https://flextremedev.github.io/react-type-check/
typechecking,A JavaScript checker and optimizer.
Organization: google
Home Page: https://developers.google.com/closure/compiler/
typechecking,JavaScript library for runtime type checking
User: gustavlindberg99
typechecking,A webpack plugin allowing to call Flow type checker.
User: happylynx
typechecking,Simple, agile, map schema in elixir with type checking, custom types with casting and validation and with json encoding
User: haskric
typechecking,Python package to parse user's input to ensure it is valid, and provide helpful error messages if not.
User: jkalish14
typechecking,language verification, construction, and analysis
User: joelburget
Home Page: https://lvca.dev
typechecking,tiny utility program for type-analysis of shell pipelines based on ladder-typing
User: michaelsippel
typechecking,Ahnfelt's Type Inference by Example but implemented in Gleam
User: michallepicki
typechecking,ð automated contract testing via type checking for Elixir functions and mocks
User: msz
typechecking,Structural type checking for Pandas data frames.
User: mzuber
typechecking,Source code of live demo for "@ts-check", an awesome feature from TypeScript for static type checking of your Vanilla JS
User: nicopennec
typechecking,Fundamental JavaScript type-related utilities
Organization: openinf
Home Page: https://github.com/OpenINF/openinf-util-types#readme
typechecking,An R :package: to insert function argument and return type contracts
Organization: prl-prg
Home Page: https://prl-prg.github.io/contractr/
typechecking,A type checking language for Prolog
User: qiaoranchelsea
typechecking,Describe processes as type transformations, with inference that supports subtypes and parametric polymorphism. Create and query corresponding transformation graphs.
Organization: quangis
typechecking,Python command line wrapper for pyright, a static type checker
User: robertcraigie
Home Page: https://pypi.org/project/pyright/
typechecking,A simple Rust like Result type for Python 3. Fully type annotated.
Organization: rustedpy
typechecking,Common predicates for validating objects
User: seancannon
typechecking,A programming language. Static types. Full type inference. Garbage collection. --- not stable
User: sebastianmestre
typechecking,Type Checking for AutoHotkey
User: shambles-dev
typechecking,A python 3 library providing functions and decorators to automatically generate class code, such as constructor body or properties getters/setters along with optional support of validation contracts on the generated setters. Its objective is to reduce the amount of copy/paste code in your classes - and hence to help reducing human mistakes :).
User: smarie
Home Page: https://smarie.github.io/python-autoclass/
typechecking,Collection of small javascript type check functions.
Organization: spaceavocado
typechecking,Webpack support for validating TypeScript definitions at runtime.
Organization: spotify
typechecking,Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
User: stewori
typechecking,Library to check values against PHP types, is_a() on steroids.
Organization: toobo
typechecking,Super-simple type checkers
User: vitalishapovalov
typechecking,ðĻâðŧ Implementing System T in Haskell ðĻâðŧ
User: wjrforcyber
typechecking,A simple compiler for the JFTT class.
User: wojtekkw10
typechecking,Demo using `ts-interface-builder/macro`
User: zenflow
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.