Topic: type-inference Goto Github
Some thing interesting about type-inference
Some thing interesting about type-inference
type-inference,A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast
User: amrdeveloper
Home Page: https://amun-lang.github.io/docs/
type-inference,Playing with type systems
User: andreypopp
type-inference,Normalization by evaluation for Martin-Löf Type Theory with dependent records
User: brendanzab
type-inference,A pure functional type-inferred language based on JavaScript
User: cdiggins
Home Page: https://cdiggins.github.io/heron-language
type-inference,TypeScript-first schema validation with static type inference
User: colinhacks
Home Page: https://zod.dev
type-inference,Awesome autocompletion, static analysis and refactoring library for python
User: davidhalter
Home Page: http://jedi.readthedocs.io
type-inference,Safen is a top-performing validation and sanitization library with easy type inference.
Organization: denostack
type-inference,Type System for Data Analysis in Python
Organization: dylan-profiler
Home Page: https://dylan-profiler.github.io/visions/visions/getting_started/usage/types.html
type-inference,A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
User: ekdohibs
type-inference,✨🚀 DataAnalyzer.app - Convert JSON/CSV to Typed Data Interfaces - Automatically!
Organization: elite-libs
Home Page: https://DataAnalyzer.app
type-inference,Using Large Language Models for Gradual Type Inference
Organization: gammatauai
type-inference,A general purpose statically-typed concatenative programming language.
Organization: glossopoeia
type-inference,A static, type inferred and embeddable language written in Rust.
Organization: gluon-lang
Home Page: https://gluon-lang.org
type-inference,WIP: Python Type Checker and LSP 🔎
User: glyphack
Home Page: https://glyphack.notion.site/Enderpy-4b99306cbdbf4dccaa3b9a4363aa3d61
type-inference,🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
User: gvergnaud
type-inference,The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Organization: hkust-taco
Home Page: https://hkust-taco.github.io/mlscript
type-inference,Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
Organization: hkust-taco
Home Page: https://hkust-taco.github.io/mlstruct
type-inference,Simple and powerful programming language with type inference
User: iitalics
type-inference,Code from the book "Types and Programming Languages" in Scala
User: ilya-klyuchnikov
type-inference,Extensions giving Swift's Codable API type inference super powers 🦸♂️🦹♀️
User: johnsundell
type-inference,Algorithm W and Algorithm M in F#
User: kekyo
type-inference,Hypertypes - generic programming for heterogeneous recursive types
Organization: lamdu
type-inference,A Hindley-Milner polymorphic typing system
User: lorepozo
Home Page: https://docs.rs/polytype
type-inference,A compiler frontend for the C programming language
User: ltcmelo
type-inference,Swift type checking and semantic analysis for developer tools
User: maxdesiatov
type-inference,Template for Hindley-Milner based languages
User: mbg
type-inference,Probabilistic Type Inference using Graph Neural Networks
User: mrvplusone
type-inference,A minimalist type-inferred programming language with procedural macro support
User: murisi
type-inference,Master thesis on developing a static type checker for Erlang
User: nachivpn
type-inference,Knowledge Association with Hyperbolic Knowledge Graph Embeddings, EMNLP 2020
Organization: nju-websoft
type-inference,A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
Organization: orsinium-labs
type-inference,Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Organization: potigol
Home Page: https://potigol.github.io
type-inference,Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
User: ptarau
type-inference,A core concatenative programming language with variables and first-rank polymorphic type inference
User: robertkleffner
type-inference,Sam's Programming Language
User: samchou19815
Home Page: https://samlang.io
type-inference,Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
User: sdiehl
type-inference,PHPStan based SQL static analysis and type inference for the database access layer
User: staabm
Home Page: https://staabm.github.io/archive.html#phpstan-dba
type-inference,A simple ML-like programming language with subtyping and full type inference.
User: storyyeller
type-inference,The IntercalScript programming language
User: storyyeller
type-inference,Programming is like drinking tea.
User: tealang
type-inference, Expressions Evaluator for .NET
User: tmteam
type-inference,Seq2seq Type Inference using Static Analysis and CodeT5
Organization: utopia-group
type-inference,A static analysis tool for finding errors in PHP applications
Organization: vimeo
Home Page: https://psalm.dev
type-inference,Strict TypeScript types for Ethereum ABIs
Organization: wevm
Home Page: https://abitype.dev
type-inference,PySonar2: a semantic indexer for Python with interprocedual type inference
User: yinwang0
type-inference,A semantic indexer for Ruby with interprocedual type inference
User: yinwang0
type-inference,An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
User: zehaochen19
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.