Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

better System stuff (but still partial coverage) #57

Closed
wants to merge 1 commit into from
Closed

better System stuff (but still partial coverage) #57

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
32 changes: 27 additions & 5 deletions sotu.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -79,10 +79,12 @@ The topics are roughly sorted from greatest strengths to greatest weaknesses. Ea

## System Programming

- **Rating**: Immature
- **Rating**: Mature
- **Notable libraries**:
- [Cmdliner](http://erratique.ch/software/cmdliner/doc/Cmdliner.html) – Cmdliner is a powerful library for defining command line interfaces in a declarative fashion, include the support for subcommands.
- [fileutils](https://forge.ocamlcore.org/projects/ocaml-fileutils/) – File manipulation utilties, such as (recursive) directory removal, and path manipulation.

- XenServer's [XAPI](https://github.com/xapi-project/xen-api) toolstack
- [MirageOS](https://mirage.io/) – a library operating system that constructs unikernels

- **Educational resources**: ...


Expand All @@ -109,8 +111,8 @@ The topics are roughly sorted from greatest strengths to greatest weaknesses. Ea

- **Rating**: Immature
- **Notable libraries**:
- [Lwt](http://ocsigen.org/lwt/) — A cooperative threads library for OCaml.
- [Async](http://janestreet.github.io/) — A monadic concurrence library to go with the Core library.
- [Lwt](http://ocsigen.org/lwt/) — A stand-alone monadic cooperative threading library.
- [Async](http://janestreet.github.io/) — A monadic cooperative threading library integrated with the Core library.
- **Educational resources**: ...

## Databases
Expand All @@ -131,6 +133,25 @@ The topics are roughly sorted from greatest strengths to greatest weaknesses. Ea
- **Notable libraries**: ...
- **Educational resources**: ...

## System interaction

- **Rating**: Mature
- **Notable libraries**:
- [fileutils](https://forge.ocamlcore.org/projects/ocaml-fileutils/) – File manipulation utilties, such as (recursive) directory removal, and path manipulation.
- [ExtUnix](https://github.com/ygrek/extunix) – interface to common
and platform-specific Unix system functions
D-Bus (system libraries)
- [Libvirt](https://libvirt.org/ocaml/) – a portable toolkit to interact with the virtualisation capabilities of Linux, Solaris and other operating systems.

## Foreign Function Interfaces

## User interfaces

- **Rating**: Immature
- **Notable libraries**:
- [Cmdliner](http://erratique.ch/software/cmdliner/doc/Cmdliner.html) – Cmdliner is a powerful library for defining command line interfaces in a declarative fashion, include the support for subcommands.


## Networking

- **Rating**: ...
Expand All @@ -147,6 +168,7 @@ The topics are roughly sorted from greatest strengths to greatest weaknesses. Ea

- **Rating**: ...
- **Notable libraries**: ...
- [Obus](https://github.com/diml/obus) – pure-OCaml (and fast!) implementation of the DBus protocol
- **Educational resources**: ...

## Data Formats
Expand Down