SimonJF/stickemu-ex SimonJF/stickemu-ex

  • Stars
    star
    1
  • Language
    Elixir
  • License
    MIT License
  • Created almost 9 years ago
  • Updated almost 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SimonJF/stickemu-ex
github

SimonJF

Reviews

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

Repository Details

Stick Arena server in Elixir

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

IdrisNet

Verified networking using dependent types
Idris
9
star
6

distributed-links-examples

Examples of Distributed Applications in Links
CSS
8
star
7

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
8

type-system-implementations

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

mse-chat

Chat server using multiparty session types
Erlang
4
star
10

pico-doorsign

tinkering
C
3
star
11

talk-template

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

east-popl19-artifact

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

temporal-linq-examples

Examples of Links temporal language-integrated query
2
star
14

mse-examples

Examples for Monitored Session Erlang
Erlang
2
star
15

linear-mvu-artifact

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

study-abroad-matcher

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

mmspider

MMS Crawler, notifies when grades are up
1
star
18

prov-force19

TeX
1
star