Isolating Xwayland in a VM - Thomas Leonard's blog
In my last post, Qubes-lite with KVM and Wayland, I described setting up a Qubes-inspired Linux system that runs applications in virtual machines. A Wayland proxy running in each VM connects its applications to the host Wayland compositor over virtwl, allowing them to appear on the desktop alongside normal host applications. In this post, I extend this to support X11 applications using Xwayland. T
Menhir
What is Menhir?Menhir is a LR(1) parser generator for the OCaml programming language. That is, Menhir compiles LR(1) grammar specifications down to OCaml code. Menhir was designed and implemented by Fran蔞is Pottier and Yann R嶲is-Gianas. Menhir is 90% compatible with ocamlyacc. Legacy ocamlyacc grammar specifications are accepted and compiled by Menhir. The resulting parsers run and produce correct
Verdi: Formally Verifying Distributed Systems
Formally Verifying Distributed Systems Distributed systems are hard to get right in large part because they must tolerate faults gracefully: machines may crash and the network may drop, reorder, or duplicate packets. Verdi is a framework from the University of Washington to implement and formally verify distributed systems. Verdi supports several different fault models ranging from idealistic to r
Coccinelle: A Program Matching and Transformation Tool for Systems Code
What is Coccinelle? Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code. Coccinelle was initially targeted towards performing collateral evolutions in Linux. Such evolutions comprise the changes that are needed in client code in response to evolutions in library APIs, and
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - PLSysSec/FaCT: Flexible and Constant Time Programming Language
GitHub - rescript-lang/rescript-compiler: The compiler for ReScript.
GitHub - reasonml/reason: Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
GitHub - facebook/infer: A static analyzer for Java, C, C++, and Objective-C
http://ocsigen.org/js_of_ocaml/