Topic: typechecker Goto Github
Some thing interesting about typechecker
Some thing interesting about typechecker
typechecker,Alternative implementation of the logical framework Dedukti in Rust
User: 01mf02
typechecker,A language for clear, concise and clever computing. 🔳
User: adebola-io
Home Page: https://wrl.vercel.app
typechecker,A package for type-checking the URLs and associated views for Django
User: alisayyah
Home Page: https://alisayyah.github.io/django-urlconfchecks
typechecker,🦅 A pure, strongly typed functional language that compiles to js
User: ascandone
typechecker,Utilities to get and check variable types (isString, isPlainObject, isRegExp, etc)
Organization: bevry
typechecker,Functional Machine Calculus typed. A programming language based on the FMC paper, developed from scratch for a Dissertation project.
User: cstml
typechecker,Advanced type checking for Lua.
User: daelvn
Home Page: https://git.daelvn.com/ltypekit7
typechecker,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/
typechecker,Toy Compiler for ERPLAG
User: deepvyas
typechecker,Higher Kinded Type machinery for Java
Organization: derive4j
typechecker,☁️ Wolke language interpreter ☁️
User: drknzz
typechecker,Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.
User: earlgray
typechecker,Library to validate function arguments and return values against their typespecs. Extracted out from Hammox
User: edgurgel
Home Page: https://hex.pm/packages/ham
typechecker,Runtime Type Checks for TypeScript
User: fabiandev
Home Page: https://fabiandev.github.io/ts-runtime/
typechecker,Performant type-checking for python.
Organization: facebook
Home Page: https://pyre-check.org/
typechecker,Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Organization: fsprojects
typechecker,Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
User: gbury
typechecker,Compositional type checking for a Hindley-Milner type system
User: gergoerdi
typechecker,STLC-related snippets in Agda
User: gergoerdi
typechecker,Compositional type checking for Haskell
User: gergoerdi
typechecker,Limits of Scala typechecking speed
User: gkossakowski
Home Page: https://medium.com/@gkossakowski/can-scala-have-a-highly-parallel-typechecker-95cd7c146d20
typechecker,A static type analyzer for Python code
Organization: google
Home Page: https://google.github.io/pytype
typechecker,Python 2.7 & 3.5+ runtime type-checker
Organization: h2oai
typechecker,A language designed as an alternative to TypeScript, stricter, more rigorous and designed to optimise the JavaScript code produced as much as possible.
User: hanako-eo
typechecker,Use Erlang typespecs in the runtime
User: iequ1
typechecker,Checks that a value satisfies a Python 3.6 type
User: jacopofar
typechecker,Validate Method Arguments & Results in Ruby
User: janlelis
typechecker,🐍 The Mamba programming language, because we care about safety
User: jsabrahams
typechecker,A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
User: kaleidawave
Home Page: https://kaleidawave.github.io/posts/introducing-ezno/
typechecker,Command line Type-Checking tool for only the script part of Vue
User: kawamataryo
Home Page: https://www.npmjs.com/package/vue-script-type-check
typechecker,My playground for building a compiler for an ML-like in Rust
User: kritzcreek
typechecker,Typecheck is a github actions robust tool designed for cross-platform source code type checking across all Go build platforms. This utility leverages Go’s built-in parsing and type-check libraries (`go/parser` and `go/types`) to deliver efficient and reliable code analysis.
Organization: kubecub
typechecker,Some useful decorators for any situation. Includes runtime type checking.
User: lostindarkmath
typechecker,An example LLVM-based compiler for a subset of C.
User: markleone
typechecker,AlphaSQL provides Integrated Type and Schema Check and Parallelization for SQL file set mainly for BigQuery
User: matts966
typechecker,JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
User: mesqueeb
Home Page: https://mesqueeb.github.io/is-what/
typechecker,TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
Organization: microsoft
Home Page: https://www.typescriptlang.org
typechecker,👺 weak but accurate type checking that returns a string representation of input's type
User: moimikey
typechecker,🏝 automated contract testing via type checking for Elixir functions and mocks
User: msz
typechecker,A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Organization: pikelet-lang
Home Page: https://pikelet-lang.github.io/pikelet/
typechecker,Optional static typing for Python
Organization: python
Home Page: https://www.mypy-lang.org/
typechecker,A Python type checker
Organization: quora
typechecker,Dependently-typed language w/ little to say for itself
User: robrix
typechecker,Python 3.5+ runtime type checking for integration testing and data validation
User: russbaz
typechecker,Compiler for the sPLash programming language
User: singularitty
typechecker,TypeScript & Go inspired open-source public research project written in C#
User: stepami
typechecker,TypePal is a framework for name analysis, type checking and type inference
Organization: usethesource
Home Page: https://www.rascal-mpl.org/docs/Packages/Typepal/TypePal/
typechecker,Dependently typed core calculus with erasure
User: ziman
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.