Topic: type-checker Goto Github
Some thing interesting about type-checker
Some thing interesting about type-checker
type-checker,Static Python Code Analyzer
User: 0dminnimda
type-checker,Lambda Calculus compiler targeting x86, written in Racket
User: ashton314
type-checker,FairCheck is a type checker for a calculus of binary sessions. The type system guarantees that well-typed programs terminate under a strong fairness assumption.
User: boystrange
type-checker,Normalization by evaluation for Martin-Löf Type Theory with dependent records
User: brendanzab
type-checker,An implementation of the mugda paper
Organization: cicada-lang
type-checker,Basic implementation of Hindley-Milner Type System and variants.
User: csabahruska
type-checker,:grey_question: A simple type checking library for Node.js
User: daltonmenezes
type-checker,🌴 Type Checker and IDE Support for Lua
Organization: devcat-studio
Home Page: https://devcat-studio.github.io/kailua/
type-checker,[WIP] Faster Implementation of Dialyzer
Organization: dwango
Home Page: https://dwango.github.io/fialyzer/
type-checker,🚨 Enhanced TypeScript support for Parcel
User: fathyb
type-checker,Anders: Cubical Type Checker
User: forked-from-1kasper
type-checker,Castle Bravo: Experimental HoTT Implementation
User: forked-from-1kasper
type-checker,Lean type-checker written in Scala.
User: gebner
type-checker,An implementation of MacroML [Ganz, Sabry & Taha 2001]
User: gfngfn
type-checker,WIP: Python Type Checker and LSP 🔎
User: glyphack
type-checker,🧊 Модальний гомотопічний верифікатор математики
Organization: groupoid
Home Page: https://anders.groupoid.space
type-checker,Checking Dependent Types with Normalization by Evaluation
User: heyrutvik
type-checker,💡 A tiny type checker for JavaScript
User: itsjonq
type-checker,A work-in-progress core language for Agda, in Agda
User: jespercockx
type-checker,A type checker for dynamically typed JavaScript
User: julienetie
type-checker,An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
User: justinfargnoli
type-checker,👩💻C-- Compiler, Programming Languages and Compiler Design, University of Tehran
User: kalhorghazal
type-checker,A simple runtime JSON type checker.
User: kawmra
type-checker,Statically-typed functional and concatenative programming language
User: kputnam
type-checker,Hypertypes - generic programming for heterogeneous recursive types
Organization: lamdu
type-checker,A PEG Parsing Tool
User: lionelauroux
Home Page: http://pythonhosted.org/pyrser
type-checker,Value type safing utility
User: lkster
type-checker,A small, flexible and extensible front-end for GLSL.
User: madmann91
type-checker,🔏 Type checker for any data structures
User: marcisbee
type-checker,Swift type checking and semantic analysis for developer tools
User: maxdesiatov
type-checker,JS type check (TypeScript supported) functions like `isPlainObject() isArray()` etc. A simple & small integration.
User: mesqueeb
Home Page: https://mesqueeb.github.io/is-what/
type-checker,🏝 automated contract testing via type checking for Elixir functions and mocks
User: msz
type-checker,A fast static code analyzer & language server for Python
User: mtshiba
Home Page: http://mtshiba.github.io/pylyzer/
type-checker,Mirror of the `pyre-check` package for pre-commit.
User: murilo-cunha
type-checker,The assignments of the course Principles of Programming Languages in Ben Gurion University, Israel.
User: omriattal
type-checker,🛡 Linter for Go that checks static call arguments against the function guards (aka contracts).
Organization: orsinium-labs
type-checker,write a little simply typed functional language to practice Rust
User: pragmatwice
type-checker,type-system, revised unification algorithm and runtime time representations
Organization: remulang
type-checker,A lexer, parser, and interpreter for a made up set of grammar rules. These grammars form a programming language called MyPL.
User: rrozema12
type-checker,Lambda.Rodeo is a compiled, strongly-typed functional programming language for the JVM. It intends to have a clear, simple syntax with an advanced type checker.
User: scj7t4
type-checker,TypeScript friendly Data validator for JavaScript.
User: shellyln
type-checker,TypeScript with exposed internal definitions and some private methods for type checking.
User: skarab42
Home Page: https://www.npmjs.com/package/unleashed-typescript
type-checker,
User: suica
Home Page: https://suica.github.io/write-you-a-typescript/
type-checker,JSON-Schema based type resolver for golang
User: tariel-x
type-checker,An incremental type checker for a subset of C using DDlog.
User: tatiana-s
type-checker,Typeis. it's the smart and simple javaScript type checker
Organization: typeis
Home Page: https://typeis.github.io/
type-checker,Strict, declarative, extensible runtime type checker for JavaScript
Organization: umbrellio
Home Page: https://npm.im/@umbrellio/typecheck
type-checker, 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Organization: yeslogic
type-checker,An excercise in developing a programming language
User: ysoftware
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.