Topic: linear-types Goto Github
Some thing interesting about linear-types
Some thing interesting about linear-types
linear-types,An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
User: alexj136
linear-types,ATS/C libraries
User: ashalkhakov
linear-types,An experimental lambda calculus compiling to the LLVM
User: ashton314
linear-types,Systems language with linear types and capability-based security.
Organization: austral
Home Page: https://austral-lang.org/
linear-types,A basic C++17 based base library
Organization: basicpp17
linear-types,Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
User: bodigrim
Home Page: https://hackage.haskell.org/package/text-builder-linear
linear-types,NumLin: Linear Types for Linear Algebra
User: dc-mak
linear-types,Linear types in Scala
User: earldouglas
linear-types,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
linear-types,The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.
User: hellwolf
linear-types,Lily: A C++ linter based on linear types
User: jiribenes
linear-types,Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/
User: kztk-m
linear-types,Comprehensions for Arrows and Monoidal categories
Organization: manatki
linear-types,A Rust library for runtime-checked linearish types
User: matklad
linear-types,A bioinformatics tool for analyzing somatic hypermutation
User: matthew-mosior
linear-types,Static Uniqueness Analysis for the Lean 4 Theorem Prover
User: mhuisi
linear-types,The Fungible Token standard on the Flow Blockchain
Organization: onflow
Home Page: https://onflow.org
linear-types,The non-fungible token standard on the Flow blockchain
Organization: onflow
Home Page: https://onflow.org
linear-types,A strict, linearly typed functional programming language that compiles to JS.
User: snordgren
linear-types,Pretty-print error messages of the ATS Compiler
User: sparverius
linear-types,For building & Releasing
User: sparverius
Home Page: https://sparverius.github.io/tmplats-doc/
linear-types,Declarative concurrency and stream processing library for Scala
User: tomasmikula
linear-types,Standard library for linear types in Haskell.
Organization: tweag
linear-types,Linear lenses in Blodwen
User: vmchale
linear-types,Zippers (a la Huet) in ATS
User: vmchale
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.