Topic: static-typing Goto Github
Some thing interesting about static-typing
Some thing interesting about static-typing
static-typing,typebox ( typescript static type & json schema ) generator for Prisma 2
User: adeyahya
static-typing,JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!
User: akshitgrover
static-typing,Materials of the talk "Typify This"
User: alexandershushunov
Home Page: https://events.epam.com/events/nightit/talks/4493
static-typing,🛠 Experimental tool to bootstrap typed JavaScript code.
User: andywer
static-typing,Simple, type-safe dependency injection in idiomatic Python.
User: antonagestam
static-typing,Phantom types for Python.
User: antonagestam
Home Page: https://pypi.org/project/phantom-types/
static-typing,Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Organization: apache
Home Page: https://groovy-lang.org
static-typing,TypeScript's 1:1 validator, optimized from editor to runtime
Organization: arktypeio
Home Page: https://arktype.io
static-typing,Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.
Organization: basilteam
static-typing,Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
User: blaugold
static-typing,The Combination of Dynamic and Static Typing from a Categorical Perspective
Organization: ct-gradual-typing
static-typing,Interpreter for old Elara specification, written in Go
Organization: elaralang
static-typing,Issue tracker for PEP 561 with sample typed package
User: ethanhs
Home Page: https://www.python.org/dev/peps/pep-0561/
static-typing,daslang - high-performance statically strong typed scripting language
Organization: gaijinentertainment
Home Page: https://daslang.io
static-typing,A Simplistic Programming Language That Targets the LLVM.
User: hacker-007
static-typing,Replication package for the OOPSLA 2021 paper titled "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers".
Organization: hephaestus-compiler-project
Home Page: https://doi.org/10.1145/3485500
static-typing,Simple and powerful programming language with type inference
User: iitalics
static-typing,Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).
User: jackojc
static-typing,An imperative, object-oriented, static and type-infered programming language.
User: jomtek
static-typing,Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
User: josverl
Home Page: https://micropython-stubber.readthedocs.io
static-typing,Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
User: josverl
Home Page: https://micropython-stubs.readthedocs.io
static-typing,Nim integration for Python PIP, install Nim via PIP, write Python modules using Nim
User: juancarlospaco
Home Page: https://pypi.org/project/choosenim-install
static-typing,Alternative StdLib for Nim for Python targets, hijacks Python StdLib for Nim
User: juancarlospaco
Home Page: https://gist.github.com/juancarlospaco/37da34ed13a609663f55f4466c4dbc3e
static-typing,Faster CSV for Python
User: juancarlospaco
Home Page: https://juancarlospaco.github.io/faster-than-csv
static-typing,The highly-reflective object-oriented Python web framework
User: keotl
Home Page: https://docs.jivago.io
static-typing,Type declarations for defun et all. Just a mirror. Ask for push acess!
Organization: lisp-maintainers
static-typing,🦩 Object-oriented static-typing language
User: maxbarsukov
Home Page: https://www.npmjs.com/package/waddle
static-typing,The C Basque compiler.
User: nikolashn
static-typing,The official compiler for the Quartz programming language
User: ohadrau
static-typing,Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
Organization: orsinium-labs
Home Page: https://mypy-baseline.orsinium.dev/
static-typing,A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.
User: petarmihalj
static-typing,The complete guide to static typing in "React & Redux" apps using TypeScript
User: piotrwitek
Home Page: https://piotrwitek.github.io/react-redux-typescript-guide/
static-typing,Typesafe utilities for "action-creators" in Redux / Flux Architecture
User: piotrwitek
Home Page: https://codesandbox.io/s/github/piotrwitek/typesafe-actions/tree/master/codesandbox
static-typing,Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
User: piotrwitek
static-typing,😉 Simple, 💾 High & Low Level, 👨💻 PPL
User: pradosh-arduino
Home Page: https://cutt.ly/melonlanguage
static-typing,Python static typing home. Hosts the documentation and a user help forum.
Organization: python
Home Page: https://typing.readthedocs.io/
static-typing,A DI Container alternative for Go
User: quangtung97
Home Page: https://pkg.go.dev/github.com/QuangTung97/svloc
static-typing,Shen language kernel sources for porters
Organization: shen-language
static-typing,FLY a Domain Specific Language for scientific computing on the Multi Cloud
User: spagnuolocarmine
static-typing,Typescript type definitions for Salesforce Commerce Cloud
User: spyryto
Home Page: HomePage
static-typing,A new statically typed programming language, syntactically like TypeScript.
Organization: staticscript
Home Page: https://staticscript.org
static-typing,Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
User: stylewarning
static-typing,A strongly-typed handy scripting language with type inference
User: szktty
static-typing,Rock Solid Python with Type Hints Course Student Materials
Organization: talkpython
Home Page: https://training.talkpython.fm/courses/python-type-hint-course-with-hands-on-examples
static-typing,Enforce annotations in your python code
User: tarsil
Home Page: https://polyforce.tarsild.io/
static-typing,Data structures in TypeScript type system. A Map that maps types to types! Types are in the trees!
User: thoughtspile
Home Page: https://github.com/thoughtspile/type2type
static-typing,Umka: a statically typed embeddable scripting language
User: vtereshkov
static-typing,A statically-typed strictly-evaluated garbage-collected readable programming language.
User: wbbradley
static-typing,An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
User: zanellia
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.