Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Types Session Open Source Projects

Open source projects categorized as Types Session
Session Types ⭐ 514
total releases 5most recent commit a year ago
Tyrade ⭐ 267
A pure functional language for type-level programming in Rust
most recent commit a year ago
Http2 Wrapper ⭐ 232
Use HTTP/2 the same way like HTTP/1
dependent packages 316total releases 59most recent commit 6 months agonpm http2-wrapper} Downloads
Php O ⭐ 209
O-syntax for PHP
total releases 2most recent commit 7 years ago
Bootstrap Session Timeout ⭐ 138
Session timeout and keep-alive control with a nice Bootstrap warning dialog.
total releases 1most recent commit 4 years ago
Runtimetypechecks ⭐ 82
Runtime type checks for JavaScript and TypeScript
most recent commit 8 years ago
Ferrite ⭐ 70
Session Type EDSL for Rust
total releases 7most recent commit 2 years ago
Jsonapi Client ⭐ 63
JSON API (jsonapi.org) client for Python
dependent packages 5total releases 9most recent commit 4 years agopypi jsonapi-client} Downloads
Dialectic ⭐ 57
Transport-polymorphic, asynchronous session types for Rust
dependent packages 6total releases 6most recent commit 2 years agocargo dialectic} Downloads
Jsonwire Grid ⭐ 55
High-performance scalable implementation of Selenium Grid
total releases 10most recent commit 4 years ago
Bufferhint ⭐ 52
Handy buffer switcher for Vim
most recent commit 7 years ago
Kemal Session ⭐ 47
Simple session handler for Kemal
most recent commit 3 years ago
Rumpsteak ⭐ 35
🍖 Session types for asynchronous communication between multiple parties.
most recent commit 7 months ago
Alfred Iterm Sessions ⭐ 33
Alfred workflow to quickly select of one currently opened iTerm sessions
most recent commit 8 years ago
Session Ocaml ⭐ 31
An implementation of binary session types in OCaml
most recent commit 5 years ago
Wwcodepython_beginnerseries ⭐ 26
WWCode Python - Beginner Python Study Group Series
most recent commit a year ago
Niconico ⭐ 25
📺 niconico API wrapper for NodeJS.
dependent packages 4total releases 13most recent commit 4 years agonpm niconico} Downloads
Nemo ⭐ 20
Session types for asynchronous networking
total releases 5most recent commit 8 years ago
Session ⭐ 20
Cookie based sessions in Crystal HTTP applications
most recent commit 8 years ago
Grafanaclient ⭐ 18
simple API to manage Grafana 2.0 DataSources and Dashboards in Go
dependent packages 2total releases 2most recent commit 3 years ago
Uploadify_rails ⭐ 17
A plugin to easily add Uploadify into your rails project.
most recent commit 14 years ago
Monitored Session Erlang ⭐ 16
Supervised Session Actors
most recent commit 8 years ago
Ldgv ⭐ 15
Label dependent dependent session types
most recent commit 7 months ago
The 8 Most Depended On Types Session Open Source Projects
Http2 Wrapper ⭐ 232
Use HTTP/2 the same way like HTTP/1
dependent packages 316total releases 59latest release November 10, 2023most recent commit 6 months agonpm http2-wrapper} Downloads
Dialectic ⭐ 57
Transport-polymorphic, asynchronous session types for Rust
dependent packages 6total releases 6latest release April 01, 2021most recent commit 2 years agocargo dialectic} Downloads
Jsonapi Client ⭐ 63
JSON API (jsonapi.org) client for Python
dependent packages 5total releases 9latest release March 12, 2020most recent commit 4 years agopypi jsonapi-client} Downloads
Niconico ⭐ 25
📺 niconico API wrapper for NodeJS.
dependent packages 4total releases 13latest release July 23, 2020most recent commit 4 years agonpm niconico} Downloads
Rest On Couch ⭐ 13
Interface to couchDB with user rights management
dependent packages 3total releases 82latest release September 01, 2023most recent commit 8 months agonpm rest-on-couch} Downloads
Grafanaclient ⭐ 18
simple API to manage Grafana 2.0 DataSources and Dashboards in Go
dependent packages 2total releases 2latest release November 30, 2020most recent commit 3 years ago
Session Typed Worker ⭐ 5
A deadlock-free communication API for web workers based on session types
dependent packages 1total releases 4latest release January 04, 2019most recent commit 2 years agonpm session-typed-worker} Downloads
Sdp Types ⭐ 9
SDP (RFC 4566) types and parsers/serializer
dependent packages 1total releases 6latest release March 08, 2022most recent commit 4 months agocargo sdp-types} Downloads
The 10 Latest Releases In Types Session Open Source Projects
Http2 Wrapper ⭐ 232
Use HTTP/2 the same way like HTTP/1
dependent packages 316total releases 59latest release November 10, 2023most recent commit 6 months agonpm http2-wrapper} Downloads
Rest On Couch ⭐ 13
Interface to couchDB with user rights management
dependent packages 3total releases 82latest release September 01, 2023most recent commit 8 months agonpm rest-on-couch} Downloads
Sdp Types ⭐ 9
SDP (RFC 4566) types and parsers/serializer
dependent packages 1total releases 6latest release March 08, 2022most recent commit 4 months agocargo sdp-types} Downloads
Ferrite ⭐ 70
Session Type EDSL for Rust
total releases 7latest release February 23, 2022most recent commit 2 years ago
Dialectic ⭐ 57
Transport-polymorphic, asynchronous session types for Rust
dependent packages 6total releases 6latest release April 01, 2021most recent commit 2 years agocargo dialectic} Downloads
Grafanaclient ⭐ 18
simple API to manage Grafana 2.0 DataSources and Dashboards in Go
dependent packages 2total releases 2latest release November 30, 2020most recent commit 3 years ago
Niconico ⭐ 25
📺 niconico API wrapper for NodeJS.
dependent packages 4total releases 13latest release July 23, 2020most recent commit 4 years agonpm niconico} Downloads
Jsonapi Client ⭐ 63
JSON API (jsonapi.org) client for Python
dependent packages 5total releases 9latest release March 12, 2020most recent commit 4 years agopypi jsonapi-client} Downloads
Jsonwire Grid ⭐ 55
High-performance scalable implementation of Selenium Grid
total releases 10latest release March 04, 2020most recent commit 4 years ago
Session Types ⭐ 514
total releases 5latest release March 30, 2019most recent commit a year ago
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.