OCaml Programming: Correct + Efficient + Beautiful — OCaml Programming: Correct + Efficient + Beautiful

2022/06/25 8 users correct beautiful

Preface About This Book Installing OCaml Introduction 1. Better Programming Through OCaml 1.1. The Past of OCaml 1.2. The Present of OCaml 1.3. Look to Your Future 1.4. A Brief History of CS 3110 1.5. Summary 2. The Basics of OCaml 2.1. The OCaml Toplevel 2.2. Compiling OCaml Programs 2.3. Expres... 続きを読む

GitHub - google/wireit: Wireit upgrades your npm scripts to make them smarter and more efficient.

2022/04/27 22 users GitHub Features Google Use the

Wireit upgrades your npm scripts to make them smarter and more efficient. Features 🙂 Use the npm run commands you already know ⛓️ Automatically run dependencies between npm scripts in parallel 👀 Watch any script and continuously re-run on changes 🥬 Skip scripts that are already fresh ♻️ Cache ou... 続きを読む

vx32 - portable, efficient, safe execution of untrusted x86 code - Google Project Hosting

2013/09/16 22 users Portable

Vx32 is a user-mode library that can be linked into arbitrary applications that wish to create secure, isolated execution environments in which to run untrusted extensions or plug-ins implemented as n... 続きを読む