5HT

6 ms·

1.
Show HN: Anders CCHM/HTS Theorem Prover(github.com)
6 points by 5HT 5y ago|0 comments
2.
F# WebSocket Server(github.com)
2 points by 5HT 6y ago|0 comments
3.
N2O/WebSocket for Standard ML(medium.com)
3 points by 5HT 8y ago|0 comments
4.
N2O Protocols Over MQ Telemetry Transport(5ht.co)
6 points by 5HT 10y ago|0 comments
5.
EXE/OM – Erlang Language with Dependent Types and Changeabe Encodings(github.com)
4 points by 5HT 10y ago|1 comments
6.
N2O: Web Framework(synrc.com)
3 points by 5HT 12y ago|1 comments
7.
by 5HT 12y ago
This is not applicable to WebSockets.
8.
by 5HT 12y ago
It is handled by N2O automatically. See how https://github.com/5HT/n2o/blob/master/priv/bullet.js
9.
by 5HT 12y ago
Some mentions about the list: * You can use both Erlang DSL and/or DTL templates * You can use JSON, BERT, RAW BINARY messages. see http://synrc.com/apps/n2o/doc/web/protocol.htm * You can use N2O b
10.
Emacs written and extendable in Erlang(github.com)
4 points by 5HT 13y ago|0 comments
11.
Erlang With Types(github.com)
3 points by 5HT 13y ago|0 comments
12.
Alice ML refined on GitHub(github.com)
1 points by 5HT 13y ago|0 comments
13.
First Erlang PaaS from creators of N2O(voxoz.com)
2 points by 5HT 13y ago|0 comments
14.
Developer’s Happiness as a business value(medium.com)
1 points by 5HT 13y ago|0 comments
15.
KVS Erlang Data Framework for N2O(github.com)
4 points by 5HT 13y ago|0 comments
16.
by 5HT 13y ago
The Database Support in another our Data Framework for Key-Value storages: https://github.com/synrc/kvs
17.
N2O Erlang Web Framework Overview(synrc.com)
3 points by 5HT 13y ago|0 comments
18.
N2O: Erlang Web Framework on WebSockets(github.com)
53 points by 5HT 13y ago|8 comments