Record · corpus.blog/posts/01a087a4-54e5-737c-808b-1a9b8983b85a

Functional IoT Meetup

metasepi.org · published 30 January 2016

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at metasepi.org Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 20
Words captured: 293

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://fpiot.doorkeeper.jp/events/34203

fpiot.doorkeeper.jp

https://fpiot.doorkeeper.jp/

fpiot.doorkeeper.jp

rust

rust-lang.org

http://repetae.net/computer/jhc/

repetae.net

http://ivorylang.org/

ivorylang.org

http://www.idris-lang.org/

idris-lang.org

http://www.adacore.com/

adacore.com

http://haxe.org/

haxe.org

http://people.cs.kuleuven.be/~bart.jacobs/verifast/

people.cs.kuleuven.be

https://coq.inria.fr/

coq.inria.fr

https://isabelle.in.tum.de/

isabelle.in.tum.de

http://alloy.mit.edu/

alloy.mit.edu

http://frama-c.com/acsl.html

frama-c.com

http://www.cprover.org/cbmc/

cprover.org

https://sel4.systems/

sel4.systems

http://ssrg.nicta.com.au/projects/TS/echronos/

ssrg.nicta.com.au

http://www.redox-os.org/

redox-os.org

http://www.xenproject.org/developers/teams/mirage-os.html

xenproject.org

https://github.com/xlq/aos

github.com

http://togetter.com/li/932532

togetter.com

Elsewhere on metasepi.org (1)

http://fpiot.metasepi.org/

fpiot.metasepi.org