Awesome List Updates on Sep 11, 2018
6 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
Algorithms and Data Structures
Blogs
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.
Neko Programming Language - Originally the compiler was written in OCaml.
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.
Rhine (⭐629) – 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 (⭐142). Alternative website.
tis-interpreter (⭐561) - 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 (⭐36) - Shopify's Liquid Templating language for OCaml.
Datetime
Developer Tools
- Try OCaml – Try OCaml in your web browser.
Exercises and Short Examples
- 99 problems. 99% of the solutions are here (⭐43).
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
User Interface
- Lambda-Term (⭐211) – 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
Messaging
- capnp-ocaml (⭐96) – OCaml code generator plugin for the Cap'n Proto serialization framework.
Metaprogramming
- Articles:
Package Management
- Build Tools:
- dune (⭐1.5k) – 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 (⭐273)
- Parallelism programming from the officiel OCaml manual
- Awesome multicore OCaml (⭐136). A compilation of resources
Questions
Testing
- Kaputt — comprehensive testing framework.
3. Awesome Ai in Finance
Articles / Plugins
4. Awesome Angular
TypeScript Seed Projects / Components
- angular-app-example (⭐60) - Angular latest + material + sass themes + more beautiful features, a dashboard app example
5. 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.
6. Awesome Json
Command-line tools
- jl (⭐473) - Functional sed for JSON.
Resources
- Awesome jq (⭐707) - A curated list of awesome jq tools and resources.
- Prev: Sep 12, 2018
- Next: Sep 10, 2018