Topic: type-systems Goto Github
Some thing interesting about type-systems
Some thing interesting about type-systems
type-systems,Playing with type systems
User: andreypopp
type-systems,A collection of programming languages and type systems.
User: ayazhafiz
Home Page: https://ayazhafiz.com/plts
type-systems,“String is not a sufficient type: how using your type system can help you make better software”
User: cdzombak
type-systems,Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright
User: dogweather
type-systems,C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
User: ergawy
type-systems,Uma aplicação web que implementa um interpretador para uma variação do cálculo-lambda com operações de concorrência e tipos de sessão.
User: gabrieldesh
Home Page: https://gabrieldesh.github.io/concurrent-lambda-calculus
type-systems,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/
type-systems,Type system workshop for reactathon
User: kevinwilde
type-systems,My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.
User: lambduli
Home Page: http://reading.lambdu.li/
type-systems,Lecture notes, assignments, and other materials for a one-semester course on programming language concepts and theory, interpretation and compilation, and programming paradigms.
User: lapets
Home Page: https://lapets.io/course-programming-languages
type-systems,Primitives for building syntax-based, keyboard-driven editors
User: michaelsippel
type-systems,rust type-system set theory
User: p2js
type-systems,An analysis tool for Python that blurs the line between testing and type systems.
User: pschanely
type-systems,A cheet sheet for all the typing rules covered in the CST Part II Types course
User: victorzxy
type-systems,OCaml inspired language
User: zazedd
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.