Topic: session-types Goto Github
Some thing interesting about session-types
Some thing interesting about session-types
session-types,Semi-Dynamic Session Types for Active Objects
User: ahbnr
Home Page: https://raw.githubusercontent.com/ahbnr/SessionTypeABS/master/thesis/thesis_final_pdfa.pdf
session-types,A deadlock-free communication API for web workers based on session types
User: ahuglajbclajep
session-types,Multiparty Session Types toolKit
User: alcestes
session-types,A library implementation of binary session types in Swift
User: alessiorubicini
session-types,An implementation of the language detailed in the Gay and Vasconcelos paper - "Linear type theory for asynchronous session types"
User: alexj136
session-types,A mono-repo for a session type API code generation toolchain for modern web programming.
User: ansonmiu0214
session-types,A session-typed programming language designed to make it easier to write safe distributed & concurrent programs.
Organization: bismuthlang
Home Page: https://bismuth-lang.org/
session-types,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
session-types,Agda formalization of fair subtyping for dependent session types
User: boystrange
session-types,A simple library implementation of binary sessions
User: boystrange
Home Page: https://boystrange.github.io/FuSe/
session-types,Workshop on Session Types at Monadic Party 2019
User: coot
session-types,文脈自由マルチパーティセッション型の実装
User: curegit
session-types,Session-typed concurrent and distributed programming for .NET
User: curegit
Home Page: https://doi.org/10.48550/arXiv.2004.01325
session-types,Library to provide session types to allow for static verification of protocols between concurrent computations.
User: essdotteedot
session-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
session-types,Session Types in Elixir
User: gertab
session-types,Session types framework with support of protocol pipelining.
Organization: input-output-hk
session-types,Session types compiler - Master Dissertation
User: joanasoaresf
session-types,This is a rebar3 plugin to typecheck multiparty sessions in Erlang projects to ensure conformance to the system global type that specifies its expected global protocol.
User: lauramcastro
session-types,Links: Linking Theory to Practice for the Web
Organization: links-lang
Home Page: http://www.links-lang.org
session-types,proof of concept for polymorphic imperative session types
User: mari-w
session-types,An implementation of Multiparty Session Types with Timeout in Haskell
User: matsubara0507
session-types,Scribble-Go example protocols and programs
User: nickng
session-types,Scribble-Go file downloader demo.
User: nickng
session-types,Parser and library for the sesstype type language in Go
User: nickng
session-types,An implementation of Multiparty Session Types in Rust
User: nickng
session-types,A library for deadlock-free multiparty session-typed communication in Rust.
User: nicolaslagaillardie
Home Page: https://nicolaslagaillardie.github.io/mpst_rust_github/
session-types,The official compiler for the Quartz programming language
User: ohadrau
session-types,add-on to Akka Typed that tracks effects for use with Session Types
User: rkuhn
session-types,An implmentation of dynamically checked session types for Java 🦕🚚🚦
User: rorymalcolm
session-types,Multiparty Session Types in Kotlin
Organization: sessionkotlin
Home Page: https://run.unl.pt/handle/10362/151147
session-types,Gradle project template
Organization: sessionkotlin
Home Page: https://github.com/sessionkotlin/sessionkotlin
session-types,Maven project template
Organization: sessionkotlin
Home Page: https://github.com/sessionkotlin/sessionkotlin
session-types,Some programs in the FreeST language
User: singularitty
session-types,Session Types Library for ATS
User: steinwaywhw
Home Page: http://multirolelogic.org
session-types,Declarative concurrency and stream processing library for Scala
User: tomasmikula
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.