CatalaLang / dates-calc
Formally specified computations on dates
☆12Updated this week
Alternatives and similar repositories for dates-calc:
Users that are interested in dates-calc are comparing it to the libraries listed below
- OCaml Bytecode Cleaner☆14Updated 2 years ago
- ☆20Updated 6 years ago
- Lower-Kinded Optics for OCaml☆23Updated last month
- Alternative interpreter for OCaml format strings☆15Updated 2 years ago
- Applying LRGrep to OCaml frontend☆12Updated 2 weeks ago
- Exploring the corners of OCaml type system☆18Updated 3 years ago
- Interacting with cron from OCaml☆14Updated 3 years ago
- Toplevel expectation test☆16Updated 5 months ago
- Pure & Incomplete STUN protocol in OCaml☆14Updated 2 years ago
- ☆12Updated 4 years ago
- CI building documentation for ALL versions of ALL packages !☆17Updated 2 months ago
- An OCaml modular and generalised parser combinator library.☆21Updated 3 years ago
- The caml walks, OCaml runs☆18Updated last year
- A bibtex file parser☆21Updated last year
- An ocaml library for manipulating diffs.☆19Updated last year
- Irmin website☆12Updated last month
- Format string experimentations☆13Updated 3 years ago
- Declarative music for OCaml (unreleased)☆26Updated last year
- Lock-free Sets and Maps for OCaml multicore☆32Updated 2 years ago
- ☆14Updated this week
- Little cli to convert md files into mld files☆26Updated 2 months ago
- ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.☆21Updated 3 months ago
- A library for printing OCaml values with sharing☆24Updated 3 years ago
- Vendor all the things for a quick way to get up and running with Multicore OCaml!☆13Updated 2 years ago
- OCaml behind the scenes: exceptions☆30Updated last year
- Port of HTTP/AF & H2 with Mirage and mimic☆30Updated last month
- Open records implemented using map over universal type☆33Updated 5 years ago
- Libraries and tools to keep watch on you OCaml lib's API changes☆22Updated this week
- Declarative JSON data manipulation for OCaml☆19Updated 3 weeks ago
- line based patch, input is a unified diff☆24Updated last month