Topic: gradual-typing Goto Github
Some thing interesting about gradual-typing
Some thing interesting about gradual-typing
gradual-typing,Dynamic annotation for Rhombus
User: ashton314
gradual-typing,The L Programming Language
User: brendanberg
gradual-typing,A hybrid static and dynamic typing language for .NET
Organization: computationalreflection
Home Page: http://www.reflection.uniovi.es/stadyn
gradual-typing,Mixed Gradual and Linear Typing for Functional Languages: Terms and Models
Organization: ct-gradual-typing
gradual-typing,A Gradually Typed Functional Programming Language with Bounded Quantification
Organization: ct-gradual-typing
gradual-typing,The Combination of Dynamic and Static Typing from a Categorical Perspective
Organization: ct-gradual-typing
gradual-typing,Monotonic References for Gradual Typing in Agda
User: deyaaeldeen
gradual-typing,Emacs Lisp Static Analyzer and gradual type system.
Organization: emacs-elsa
gradual-typing,Slides and examples for a Krakow Erlang/Elixir Meetup talk on Gradualizer
User: erszcz
gradual-typing,Collection of benchmarks for gradually-typed languages
Organization: gradual-typing
gradual-typing,A compiler for the gradually typed lambda calculus
Organization: gradual-typing
gradual-typing,The Agda mechanization of a gradual security-typed programming language with general mutable references.
Organization: gradual-typing
Home Page: https://homes.luddy.indiana.edu/chen512/lambdaifcstar-html/
gradual-typing,Experimental implementation of Gradual Ownership Types for Java 1.4
User: ilyasergey
Home Page: http://github.com/ilyasergey/Gradual-Ownership/wiki
gradual-typing,The Prime Directive
User: jack-williams
Home Page: http://drops.dagstuhl.de/opus/volltexte/2017/7264/pdf/LIPIcs-ECOOP-2017-28.pdf
gradual-typing,A simple little programming language that could one day compile to JavaScript.
Organization: kesh-lang
gradual-typing,an implementation of gradual typing in mit-scheme
User: khayyamsaleem
gradual-typing,A gradually typed language originally based on the crafting interpreters series
Organization: laythe-lang
gradual-typing,Gradual Typing encoding for Scala.
User: marcoonroad
gradual-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/
gradual-typing,Yet another contract library for JavaScript which benefits from static analyzers such as TAJS.
User: overlogged
gradual-typing,A gradually typed language with intersection types
User: pedroangelo
gradual-typing,An interpreter written in Haskell for a gradually typed functional language
User: pedroangelo
gradual-typing,Python static typing home. Hosts the documentation and a user help forum.
Organization: python
Home Page: https://typing.readthedocs.io/
gradual-typing,IntelliSense-like autocompletion features for string literals in TypeScript
User: qexk
gradual-typing,Queries to computer vision json results in TypeScript
User: sami-badawi
gradual-typing,An implementation of the Gradually Typed Lambda Calculus with a Scheme-like syntax in OCaml
User: staceytay
gradual-typing,⛑ Fork of diamondback-ruby
User: stereobooster
Home Page: http://www.cs.umd.edu/projects/PL/druby/index.html
gradual-typing,Seq2seq Type Inference using Static Analysis and CodeT5
Organization: utopia-group
gradual-typing,Interpreter of the ITGL with dynamic type inference
User: ymyzk
Home Page: https://dl.acm.org/do/10.1145/3291628/full/
gradual-typing,Interpreter of the ITGL with runtime type inference
User: ymyzk
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.