Awesome List Updates on Aug 21, 2016

8 awesome lists updated today.

1. Awesome Ocaml

SLAyer (⭐326) - SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

Parser and Lexer Generators:
- Opal (⭐146) – Self-contained monadic parser combinators for OCaml.
- Sedlex (⭐233) is a modern, encoding-agnostic (read: Unicode-supporting) lexer generator (the ppx-based successor to ulex.)
- Menhir – Menhir is a LR(1) parser generator for OCaml.
  - See ocaml-parsing (⭐124) for a clearer example of using Menhir and Sedlex to produce a useful parser,
  - ... and Obelisk (⭐53), a neat project to produce readable LaTeX, HTML, or plain-text EBNF-style documentation for your grammar.
- ocamllex/ocamlyacc – lex and yacc implementation for OCaml.
- Angstrom (⭐628) - Parser combinators built for speed and memory efficiency

charrua-unix (⭐11) - charrua-unix is a Unix DHCP daemon based on charrua-core (⭐55).

Tyre (⭐167) - Tyre is a set of combinators to build type-safe regular expressions, allowing automatic extraction and modification of matched groups.

Introducing Background Sync - A gentle introduction to background sync, along with some great videos and code samples.

steampy (⭐539) - Fully automated Steam trade offers library with SteamGuard support.

force-dev-tool (⭐106) - Command line tool supporting the Force.com development lifecycle.

Scripting Toolkit - Windows based toolkit to run native Javascript to access Salesforce data.