package forester

  1. Overview
  2. Docs
A tool for tending mathematical forests

Install

Dune Dependency

Authors

Maintainers

Sources

4.0.1.tar.gz
md5=1781b3d67f7ff4edaeb5cfdedba46b9e
sha512=879a583fd3ddf1cf44039fbe9a1d7280e9cc9cc0340506561dc8c6bb6b792db7c512a682d4d09d6c6b0b3b14940665573c9d94580c9ce0a87ee05822fbe4c229

Description

Published: 17 Apr 2024

README

README.md

This is the source repository for the forester tool, which is implemented in the OCaml programming language. Please see this page for more information.

System Requirements

You need to have OCaml 5 and opam installed.

Installation

You can install forester by running opam install forester.

Using nix (Optional)

Forester can also be used with nix. To run forester, use nix run sourcehut:~jonsterling/ocaml-forester. If you are working with a Nix flake-based project and want to include Forester as a build input, you can add it to your flake.nix:

{
  inputs = {
    forester.url = "sourcehut:~jonsterling/ocaml-forester";
    forester.inputs.nixpkgs.follows = "nixpkgs";
  };

  outputs = inputs@{ self, forester, nixpkgs }:
    let
      system = "x86_64-linux"; # make sure to change this to your use case!
      pkgs = import nixpkgs { inherit system inputs; };
    in
    {
      devShells.${system}.default = pkgs.mkShell {
        buildInputs = [ forester.packages.${system}.default ];
      };
    };
}

Example Use

Please see my Forest for an example of using forester, or clone your own template forest.

Dependencies (17)

  1. toml >= "7.1.0"
  2. dream-html >= "3.3.1"
  3. yojson >= "2.1.2"
  4. algaeff >= "2.0.0"
  5. bwd >= "2.3.0"
  6. yuujinchou >= "5.2.0"
  7. asai >= "0.2.0"
  8. ptime >= "1.1.0"
  9. eio_main >= "1.0"
  10. uucp >= "15.1.0"
  11. dune-build-info
  12. cmdliner >= "1.2.0"
  13. ppx_deriving
  14. dune >= "3.7"
  15. ocaml >= "5.0.0"
  16. ocamlgraph >= "2.1.0"
  17. menhir >= "20211230"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None