SimonJF/IdrisNet SimonJF/IdrisNet

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language Idris
  • Created about 11 years ago
  • Updated almost 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SimonJF/IdrisNet
github

SimonJF

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Verified networking using dependent types

More Repositories

1

cmm_of_wasm

A compiler from WebAssembly to native code, via the OCaml backend.
OCaml
88
star
2

IdrisNet2

A proper network library for Idris, now that I know what I'm doing.
Idris
57
star
3

monitored-session-erlang

Supervised Session Actors
Erlang
22
star
4

mbcheck

Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
OCaml
11
star
5

distributed-links-examples

Examples of Distributed Applications in Links
CSS
8
star
6

session-type-checker

An implementation of the algorithmic type checking system for session types found in Vasco Vasconcelos' paper, "Fundamentals of Session Types".
Haskell
6
star
7

type-system-implementations

An ongoing project to implement and document many different algorithmic type systems
OCaml
5
star
8

mse-chat

Chat server using multiparty session types
Erlang
4
star
9

pico-doorsign

tinkering
C
3
star
10

talk-template

A LaTeX theme I like using, descending from Presento (https://github.com/RatulSaha/presento)
TeX
3
star
11

east-popl19-artifact

Artifact for "Exceptional Asynchronous Session Types: Session Types without Tiers", appearing at POPL'19
CSS
3
star
12

temporal-linq-examples

Examples of Links temporal language-integrated query
2
star
13

mse-examples

Examples for Monitored Session Erlang
Erlang
2
star
14

linear-mvu-artifact

Artifact for draft paper "Model-View-Update-Communicate: Session Types meet the Elm Architecture"
OCaml
2
star
15

study-abroad-matcher

because I ain't doing 164 matchings manually
Python
1
star
16

stickemu-ex

Stick Arena server in Elixir
Elixir
1
star
17

mmspider

MMS Crawler, notifies when grades are up
1
star
18

prov-force19

TeX
1
star