Topic: type-theory Goto Github
Some thing interesting about type-theory
Some thing interesting about type-theory
type-theory,A research project in path semantics, a re-interpretation of functions for expressing mathematics
Organization: advancedresearch
type-theory,Agda is a dependently typed programming language / interactive theorem prover.
Organization: agda
Home Page: https://wiki.portal.chalmers.se/agda/pmwiki.php
type-theory,Two-Level Type Theory
User: annenkov
type-theory,🍞 | IDE focused programming language study
User: aripiprazole
Home Page: https://lura.gabx.io
type-theory,Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
User: blaisorblade
Home Page: https://dot-iris.github.io
type-theory,Book: Introduction to Dependent Types with Idris
User: bor0
Home Page: https://leanpub.com/gidti
type-theory,Normalization by evaluation for Martin-Löf Type Theory with dependent records
User: brendanzab
type-theory,dependently-typed lisp with flexible compiler backends
User: chameco
type-theory,Cicada Language (PLCT little team)
Organization: cicada-lang
Home Page: https://cicada-lang.org
type-theory,Cicada Language (solo version)
Organization: cicada-lang
Home Page: https://cicada-lang.org
type-theory,A Super Kawaii Dependently Typed Programming Language
Organization: ditto
type-theory,A fast functional language based on two level type theory
User: eashanhatti
type-theory,List of resources about foundational knowledge for programmers (supposed to last a few decades)
User: err0r500
type-theory,Radical ideas for the Julia language.
User: harrisongrodin
type-theory,The Hash programming language compiler :zap:
Organization: hash-org
Home Page: https://hash-org.github.io/hashc/
type-theory,A next-gen functional language
Organization: higherorderco
Home Page: https://kindelia.org/
type-theory,A Coq library for Homotopy Type Theory
Organization: hott
Home Page: http://homotopytypetheory.org/
type-theory,Neon lights in the night tonight and stars that shine in the open sky
User: ice1000
type-theory,A SuperCompiler for Martin-Löf's Type Theory
User: ilya-klyuchnikov
type-theory,An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
User: jaycech3n
type-theory,List of papers and other resources at the intersection of Category Theory and NLP.
User: jbrkr
type-theory,Lecture note on Lambda Calculus and Types for FLOLAC
User: l-tchen
Home Page: http://flolac.iis.sinica.edu.tw/flolac18/courses/Lambda.html
type-theory,Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
User: lazear
type-theory,Lean Theorem Prover
Organization: leanprover
Home Page: http://leanprover.github.io/
type-theory,Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
User: lukeg101
type-theory,A curated list of awesome Category Theory resources.
User: madnight
Home Page: https://category-theory.org
type-theory,Lecture notes on univalent foundations of mathematics with Agda
User: martinescardo
type-theory,Logical manifestations of topological concepts, and other things, via the univalent point of view.
User: martinescardo
type-theory,Towards changing things and see if it proofs
User: molikto
type-theory,Experimental implementation of Cubical Type Theory
User: mortberg
Home Page: https://arxiv.org/abs/1611.02108
type-theory,A Logical Relation for Martin-Löf Type Theory in Agda
User: mr-ohman
type-theory,Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Organization: owo-lang
type-theory,The MLPolyR programming language, revived
Organization: owo-lang
type-theory,(WIP) Dependently-typed programming language with Agda style dependent pattern matching
Organization: owo-lang
type-theory,Dependently-typed row-polymorphic programming language, evolved from minitt-rs
Organization: owo-lang
type-theory,Variant types in TypeScript
User: paarthenon
Home Page: https://paarthenon.github.io/variant
type-theory,A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Organization: pikelet-lang
Home Page: https://pikelet-lang.github.io/pikelet/
type-theory,🦠 An experimental elaborator for dependent type theory using effects and handlers
Organization: redprl
type-theory,😎TT
Organization: redprl
Home Page: http://www.redprl.org/
type-theory,♾️ A library for universe levels and universe polymorphism
Organization: redprl
Home Page: https://redprl.org/mugen/mugen
type-theory,"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Organization: redprl
type-theory,The People's Refinement Logic
Organization: redprl
Home Page: http://www.redprl.org/
type-theory,Research on integrating datalog & lambda calculus via monotonicity types
User: rntz
Home Page: http://www.rntz.net/datafun/
type-theory,Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
User: sdiehl
type-theory,My personal repository of formally verified mathematics.
User: stepchowfun
type-theory,Programming Language Theory λΠ
User: steshaw
Home Page: https://steshaw.org/plt/
type-theory,Formalising Type Theory in a modular way for translations between type theories
User: theowinterhalter
type-theory,Programming language agnostic type construction language based on polynomials.
Organization: typedefs
Home Page: http://typedefs.com/
type-theory,The Agda Universal Algebra Library (html docs available at the url below)
Organization: ualib
Home Page: https://ualib.github.io/agda-algebras/
type-theory,Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
User: veyselusta
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.