LoupVaillant/Monokex
View on GitHub ↗ ★ 25 OCaml
A simpler alternative to the Noise protocol framework.
5 mentions on Hacker News by 2 people: 1 story, 4 comments · first 2019-02-01 · latest 2021-01-08
20082026
-
(Shameless Plug™) Do not despair just yet: https://github.com/LoupVaillant/Monokex/
comment by loup-vaillant · 2021-01-08 · in Session Protocol: Technical implementation details -
…better off going hand written recursive descent (or Lex/Yacc, since an equivalent was allowed). https://github.com/LoupVaillant/Monokex/blob/master/src/pars... http://loup-vaillant.fr/projects/metacompilers/nometa-haskel...
comment by loup-vaillant · 2019-06-16 · in Comparing the Same Project in Rust, Haskell, C++, Python, Scala and OCaml -
…the same time (when you run the test). --- I'm currently writing on a secure handshakes generator. https://github.com/LoupVaillant/Monokex It generates specifications and source code from a Noise pattern. A bit like Noise Explorer, only…
comment by loup-vaillant · 2019-03-04 · in Sensible Software Engineering -
…much smaller, much simpler, and very incomplete). [1]: http://loup-vaillant.fr/projects/ussm/ [2]: https://github.com/LoupVaillant/Monokex
comment by loup-vaillant · 2019-03-03 · in Functional Programming in OCaml -
▲ 1
The Monokex secure protocol framework and generatorstory by JoachimS · 2019-02-01 · 0 comments