Topic: dependent-types Goto Github
Some thing interesting about dependent-types
Some thing interesting about dependent-types
dependent-types,Agda is a dependently typed programming language / interactive theorem prover.
Organization: agda
Home Page: https://wiki.portal.chalmers.se/agda/pmwiki.php
dependent-types,Large Scale Type Systems (programming language)
User: andrew-johnson-4
Home Page: https://andrew-johnson-4.github.io/lsts-tutorial/
dependent-types,~ Youkai (∞, 1)-Mountain
Organization: aya-prover
Home Page: https://www.aya-prover.org
dependent-types,Contextual types meet mechanized metatheory!
Organization: beluga-lang
Home Page: http://complogic.cs.mcgill.ca/beluga/
dependent-types,Book: Introduction to Dependent Types with Idris
User: bor0
Home Page: https://leanpub.com/gidti
dependent-types,A garden of small programming language implementations 🪴
User: brendanzab
dependent-types,Normalization by evaluation for Martin-Löf Type Theory with dependent records
User: brendanzab
dependent-types,Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Organization: cedille
Home Page: https://cedille.github.io/
dependent-types,Cicada Language
Organization: cicada-lang
Home Page: https://cicada-lang.org
dependent-types,Cicada Language (solo version)
Organization: cicada-lang
Home Page: https://cicada-lang.org
dependent-types,Powerful nominal types for your Typescript project
Organization: coder-spirit
dependent-types,Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Organization: coq
Home Page: https://coq.inria.fr/
dependent-types,Proof assistant based on the λΠ-calculus modulo rewriting
Organization: deducteam
dependent-types,A Haskell library for typesafe music composition
User: dimasamoz
dependent-types,A Super Kawaii Dependently Typed Programming Language
Organization: ditto
dependent-types,A fast functional language based on two level type theory
User: eashanhatti
dependent-types,Jupyter kernel for Coq
User: eugeneloy
dependent-types,A Proof-oriented Programming Language
Organization: fstarlang
Home Page: https://www.fstar-lang.org
dependent-types,A Compiler for the Popr Language
User: hackerfoo
Home Page: https://popr.dev
dependent-types,A next-gen functional language
Organization: higherorderco
Home Page: https://kindelia.org/
dependent-types,Trying to get back all the stuff I had in JavaScript.
User: i-am-tom
dependent-types,A purely functional programming language with first class types
Organization: idris-lang
Home Page: https://idris-lang.org/
dependent-types,Dependently Typed Lambda Calculus in Haskell
User: ilya-klyuchnikov
dependent-types,A SuperCompiler for Martin-Löf's Type Theory
User: ilya-klyuchnikov
dependent-types,Lecture notes for a short course on proving/programming in Coq via SSReflect.
User: ilyasergey
Home Page: https://ilyasergey.net/pnp
dependent-types,experiments with @robkuz LimitedValue type
User: jackfoxy
Home Page: https://jackfoxy.github.io/DependentTypes/
dependent-types,A TACtic library for Agda
User: jespercockx
dependent-types,Accelerated machine learning with dependent types
User: joelberkeley
dependent-types,A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
User: jonsterling
Home Page: http://www.jonmsterling.com/dreamtt/dreamtt/index.html
dependent-types,Lean Theorem Prover
Organization: leanprover
Home Page: http://leanprover.github.io/
dependent-types,A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
User: leopiney
dependent-types,CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
User: lukaszcz
dependent-types,First-class type families
User: lysxia
Home Page: https://hackage.haskell.org/package/first-class-families
dependent-types,A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Organization: magmide
dependent-types,Lecture notes on univalent foundations of mathematics with Agda
User: martinescardo
dependent-types,A function definition package for Coq
User: mattam82
Home Page: http://mattam82.github.io/Coq-Equations
dependent-types,Towards changing things and see if it proofs
User: molikto
dependent-types,An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
User: newca12
dependent-types,Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Organization: owo-lang
dependent-types,(WIP) Dependently-typed programming language with Agda style dependent pattern matching
Organization: owo-lang
dependent-types,Placeholder for the OwO compiler
Organization: owo-lang
dependent-types,Dependently-typed row-polymorphic programming language, evolved from minitt-rs
Organization: owo-lang
dependent-types,A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Organization: pikelet-lang
Home Page: https://pikelet-lang.github.io/pikelet/
dependent-types,RowScript programming language, making a better browser world
Organization: rowscript
Home Page: https://rowscript.github.io
dependent-types,Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
User: rpeszek
dependent-types,A workshop on learning Agda with minimal prerequisites.
User: scott-fleischman
dependent-types,An in-progress fast, dependently typed, functional programming language implemented in Swift.
Organization: silt-lang
dependent-types,An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Organization: uwplse
dependent-types,Minimalistic dependent type theory with syntactic metaprogramming
User: whatisrt
dependent-types, 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Organization: yeslogic
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.