pveber / scirep
Generate a webpage with mathematical formulae, OCaml output and graphics from markdown
☆16Updated 2 years ago
Alternatives and similar repositories for scirep:
Users that are interested in scirep are comparing it to the libraries listed below
- See http://rgrinberg.com/posts/deriving-slowly/☆9Updated 5 years ago
- ☆17Updated this week
- Strongly typed multidimensional array library for OCaml☆52Updated last month
- Self-adjusting computations☆22Updated last year
- Fast vectorized bitarrays for OCaml☆15Updated last year
- An OCaml clustering library☆20Updated 3 years ago
- Interacting with cron from OCaml☆14Updated 2 years ago
- A simple implementation of Discrete Interval Encoding Trees☆28Updated 2 years ago
- Relational programming for OCaml (unreleased)☆25Updated 2 years ago
- Experimental opam plugin☆16Updated last year
- A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities☆14Updated 3 months ago
- Building Lua interpreters with lot's of functors☆13Updated 6 years ago
- ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression☆34Updated last month
- Dissect OCaml compiled programs, and weight their content☆24Updated 2 years ago
- An OCaml library for creating pandoc filters.☆31Updated 5 months ago
- An interval library for OCaml☆16Updated 2 years ago
- Parallel version of incremental library☆19Updated last year
- A balanced binary search tree library for OCaml☆21Updated 3 months ago
- an arithmetic library for OCaml’s native integers☆11Updated 8 months ago
- ☆21Updated last year
- Refinement types encoded with private types in OCaml.☆10Updated 4 years ago
- 6502 chip simulator in OCaml☆11Updated last year
- An ocaml library for manipulating diffs.☆19Updated last year
- ☆10Updated last year
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆14Updated 2 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Updated 2 years ago
- OCaml client to GDB machine interface, superseded by https://github.com/copy/gdbprofiler☆16Updated 9 years ago
- ☆14Updated 2 weeks ago
- A model-based QuickCheck test of ptrees (Patricia trees)☆12Updated 5 years ago
- ☆20Updated 6 years ago