Anton Kochkov

Add lsp_server - LSP server for Prolog

2

Language Server Protocol server implementation for SWI Prolog. To integrate with Emacs, Vim, Visual Studio Code, or other IDE/editors. **By submitting this pull request, I promise I have read the...

ProbLog is a tool that allows you to intuitively build programs that do not only encode complex interactions between a large sets of heterogenous components but also the inherent uncertainties...

Using JavaScript contribution guidelines is excessive.

2

I think using rules from JS community is a bad idea. The community size is like 10000x times less. Thus it is not smart to create the bureaucratic barriers on...

File "async_zmq.mli", line 9, characters 24-31: # Error: Cannot locate deriver sexp_of

1

``` #=== ERROR while compiling async-zmq.0.3.0 ====================================# # context 2.0.0~rc | linux/x86_64 | ocaml-system.4.05.0 | file:///home/akochkov/data/tmp/opam-repository # path ~/.opam/default/.opam-switch/build/async-zmq.0.3.0 # command ~/.opam/default/bin/omake # exit-code 2 # env-file ~/.opam/log/async-zmq-8146-bc27ca.env # output-file...

``` opam install iocaml Your request can't be satisfied: - conduit.0.13.0 is in conflict with lwt.3.0.0 No solution found, exiting ```

Port mldonkey GUI to GTK3

3

GTK 2 is being deprecated, and there is largely compatible version of OCaml bindings to GTK 3 is available - [lablgtk3](http://opam.ocaml.org/packages/lablgtk3/). See lablgtk3 branch here: https://github.com/garrigue/lablgtk/tree/lablgtk3

Previously Num was a part of OCaml compiler. Recently it was extracted out of it, and deprecated if favor of Zarith: > This is a legacy library. It used to...

Since the decimal arithmetic is crucial for business and financial applications, it makes sense to improve the visibility and make it more abstract (i.e. split from Postgres feature), and move...

Would be very useful for generating testcases