Awesome List Updates on Sep 11, 2018

5 awesome lists updated today.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor

1. Vertx Awesome

Vert.x Event Bus Clients

• Java (⭐10) - Simple Java Event Bus Client using plain TCP socket I/O.

2. Awesome Ocaml

Community

• Official OCaml Website

• OCaml Planet

• OCaml SubReddit

Algorithms and Data Structures

• Comparing a Machine Learning Algorithm Implemented in F# and OCaml

Blogs

• Type OCaml – Many things about OCaml

Books

• More OCaml: Algorithms, Methods, and Diversions – In More OCaml, John Whitington takes a meandering tour of functional programming with OCaml, introducing various language features and describing some classic algorithms. The book ends with a large-scale example dealing with the production of PDF files. There are questions for each chapter, along with worked-out answers and hints.

• Pearls of Functional Algorithm Design by Richard Bird - It summarizes 30 hard algorithmic problems in the function programming world. Although it is for Haskell, the algorithm problems are very interesting, and trying to solve them in OCaml also helps the thinking of functional programming. Partial solutions in OCaml are here (⭐28).

• Unix System Programming in OCaml by X. Leroy and D. Rémy – Introduction to Unix Systems Programming, with an emphasis on communications between processes.

• Using, Understanding, and Unraveling OCaml – This book describes both the OCaml language and the theoretical grounds behind its powerful type system.

• Purely Functional Data Structures - This is the first or only book focus on various data structures in FP world. A must-read one.

Compilers and Compiler Tools

• Languages and Compilers:

  • Caramel - Caramel is a functional language for building type-safe, scalable, and maintainable applications.

  • cDuce - cDuce is a modern XML-oriented functional language with innovative features.

  • Compcert C Compiler - It is a C Compiler supporting most of the ISO C90 and C99 / ANSI C features.

  • Eff Programming Language - Eff is a functional language with handlers of not only exceptions, but also of other computational effects such as state or I/O.

  • Hack Programming Language

  • Haxe Programming Language

  • Neko Programming Language - Originally the compiler was written in OCaml.

  • Mazeppa (⭐345) - A modern supercompiler for call-by-value functional languages.

  • Mezzo Programming Language - Mezzo is a programming language in the ML tradition, which places strong emphasis on the control of aliasing and access to mutable memory.

  • OCaml-Java - OCaml to Java bytecode compiler.

  • Opa Programming Language

  • Rhine (⭐631) – A Lisp on LLVM written in OCaml.

  • Rust Programming Language - Originally written in OCaml before bootstrapping.

  • Quick C-- Target Language - It is now a dead project. Github Repo (⭐145). Alternative website.

  • tis-interpreter (⭐565) - An interpreter for finding subtle bugs in programs written in standard C

  • Reason - Friendly syntax & toolchain for OCaml by Facebook.

  • RaML - Resource Aware ML (RaML) is a tool that automatically and statically computes resource-use bounds for OCaml programs.

  • Liquid ML (⭐37) - Shopify's Liquid Templating language for OCaml.

Datetime

• ISO8601 (⭐30)

Developer Tools

• Try OCaml – Try OCaml in your web browser.

Exercises and Short Examples

• 99 problems. 99% of the solutions are here (⭐44).

Formal Software Verification

• Coq – Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms, and theorems, together with an environment for semi-interactive development of machine-checked proofs.

General

• Why We Use OCaml

User Interface

• Lambda-Term (⭐208) – Lambda-Term is a cross-platform library for manipulating the terminal. It provides an abstraction for keys, mouse events, and colors, as well as a set of widgets to write curses-like applications.

Language-related

• Algebraic Data Types

• Fiddling with the OCaml Type System

Messaging

• capnp-ocaml (⭐97) – OCaml code generator plugin for the Cap'n Proto serialization framework.

Metaprogramming

• Articles:
  • A Guide to Extension Points in OCaml
  • Extension Points, or how OCaml is becoming more like Lisp
  • Syntax extensions without Camlp4: let's do it!
  • Reading Camlp4 – Ambassador to the Computers

Package Management

• Build Tools:
  • dune (⭐1.6k) – A composable and opinionated build system for OCaml (former jbuilder)
  • Oasis - A tool to integrate a configure, build and install system in your OCaml project. It helps to create standard entry points in your build system and allows external tools to analyse your project easily.
    • oasis2opam (⭐27) — Tool to convert OASIS metadata to OPAM package descriptions.
  • obuild (⭐54) – Simple package build system for ocaml.
  • ocaml-makefile (⭐74) — Easy to use Makefile for small to medium-sized OCaml-projects.
  • topkg (⭐69) — OPAM-aware packaging system using ocamlbuild.
  • Bazel (⭐37) - OCaml rules for Bazel, Google's multi-language and platform build tool.

Parallelism

• Articles:
  • What is the state of OCaml's parallelization abilities?
  • Parallel programming in multicore OCaml (⭐278)
  • Parallelism programming from the officiel OCaml manual
  • Awesome multicore OCaml (⭐144). A compilation of resources

Questions

• OCaml polymorphism example other than template function?

• OCaml - polymorphic print and type losing

Testing

• Kaputt — comprehensive testing framework.

3. Awesome Ai in Finance

Articles / Plugins

• Using LSTMs to Turn Feelings Into Trades

4. Awesome Geek Podcasts

In English

• CoRecursive Interviews - In-Depth interviews with software development experts. Focusing on functional programming and languages like scala / haskell / F# / erlang / idris / kotlin.

5. Awesome Json

Command-line tools

• jl (⭐474) - Functional sed for JSON.

Resources

• Awesome jq (⭐736) - A curated list of awesome jq tools and resources.

• Prev: Sep 12, 2018
• Next: Sep 10, 2018