Home/devel/ocaml-dolmen

ocaml-dolmen

0.9_2

Library for writing deduction and logic languages in Objective Caml

The dolmen library for OCaml provides modules for parsing, type-checking and main loop controling. The dolmen binary allows to parse and type-check input against a language specification. Dolmen comes with a LSP server implementation.

Origin: devel/ocaml-dolmen

Category: devel

Size: 131MiB

License: BSD2CLAUSE

Maintainer: freebsd@dev.thsi.be

Dependencies: 16 packages

Required by: 1 packages

Website: github.com/Gbury/dolmen

$pkg install ocaml-dolmen

Dependencies (16)

ocaml-uutf ocaml-spelll ocaml-ppx_yojson_conv_lib ocaml-ppx_hash ocaml-ppx_deriving ocaml-pp_loc ocaml-lsp ocaml-logs ocaml-linol ocaml-gen ocaml-fmt ocaml-farith ocaml menhir libev gmp

Required By (1 packages)

alt-ergo

More in devel

ruby33-gems3.7.2

Package management framework for the Ruby language

gettext-runtime0.26

GNU gettext runtime libraries and programs

glib2.84.4,2

Some useful routines of C programming (current stable version)

desktop-file-utils0.28

Couple of command line utilities for working with desktop entries

qt6-base6.10.1_1

Qt base (core, gui, widgets, network,...)

qt5-core5.15.18p109

Qt core non-graphical module (KDE patched)

rubygem-aws-sigv41.12.1

Amazon Web Services Signature Version 4 signing library

php84-pear1.10.17

PEAR framework for PHP

rubygem-aws-sdk-core3.240.0

AWS SDK for Ruby - Core

php82-pear1.10.17

PEAR framework for PHP