28 search results for "tag:"ODE""

Showing 1 - 28
  1. binsec
    Documentation
    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.
    0.8.2
    LGPL-2.1-or-later
    Used by 0 other packages
    11 Mar 2024
  2. cmarkit
    Documentation
    CommonMark parser and renderer for OCaml
    codec commonmark markdown org:erratique
    The cmarkit programmers
    0.3.0
    ISC
    Used by 3 other packages
    12 Dec 2023
  3. cviode
    Documentation
    Contact variational integrators - native ocaml version
    ODE scientific-computing
    Marcello Seri <m.seri@rug.nl>
    0.0.4
    MIT
    Used by 0 other packages
    07 Oct 2020
  4. dolmen_model
    Documentation
    A model checker for automated deduction languages
    logic type model modelchecking first order
    Guillaume Bury <guillaume.bury@gmail.com>
    0.9
    BSD-2-Clause
    Used by 1 other packages
    06 Jul 2023
  5. jsonm
    Documentation
    Non-blocking streaming JSON codec for OCaml
    json codec org:erratique
    The jsonm programmers
    1.0.2
    ISC
    Used by 30 other packages
    08 Mar 2023
  6. melange-fest
    Documentation
    A minimal test framework for Melange
    melange node org:ahrefs
    Feihong Hsu <feihong.hsu@ahrefs.com> Javier Chávarri <javier.chavarri@ahrefs.com>
    0.1.0
    MIT
    Used by 0 other packages
    08 Mar 2024
  7. ocaml-protoc
    Documentation
    Pure OCaml compiler for .proto files
    protoc protobuf codegen
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.0.2
    MIT
    Used by 4 other packages
    14 Feb 2024
  8. odepack
    Documentation
    Binding to ODEPACK
    ODE scientific-computing
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.7.1
    LGPL-3.0-only
    Used by 1 other packages
    27 Sep 2020
  9. orsetto
    Documentation
    A library of assorted structured data interchange languages
    org:conjury.org unicode data-interchange parser-combinators serialization json cbor uri url tai64
    james woodyatt <jhw@conjury.org>
    1.1.3
    BSD-2-Clause
    Used by 0 other packages
    05 Apr 2023
  10. osh
    Documentation
    OCaml web API to generate SVG shields
    shield badge svg generator status build code coverage
    Léo Andrès <contact@ndrs.fr>
    0.1
    ISC
    Used by 0 other packages
    07 Oct 2021
  11. otfm
    Documentation
    OpenType font decoder for OCaml
    OpenType ttf font decoder graphics org:erratique
    The otfm programmers
    0.4.0
    ISC
    Used by 1 other packages
    23 Mar 2020
  12. pbrt
    Documentation
    Runtime library for Protobuf tooling
    protobuf encode decode
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.0.2
    MIT
    Used by 5 other packages
    14 Feb 2024
  13. pbrt_services
    Documentation
    Runtime library for ocaml-protoc to support RPC services
    protobuf encode decode services rpc
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.0.2
    MIT
    Used by 1 other packages
    14 Feb 2024
  14. pbrt_yojson
    Documentation
    Runtime library for ocaml-protoc to support JSON encoding/decoding
    protobuf encode decode
    Maxime Ransan <maxime.ransan@gmail.com> Simon Cruanes
    3.0.2
    MIT
    Used by 2 other packages
    14 Feb 2024
  15. piece_rope
    Documentation
    A data structure for efficiently manipulating strings
    text piece table piece tree rope unicode
    Humza Shahid
    0.9.1
    MIT
    Used by 0 other packages
    23 Mar 2023
  16. producer
    Documentation
    Accumulate results using monadic dependency graphs
    dependency injection graph node producer
    Trent Small
    0.2.0
    BSD-3-Clause
    Used by 0 other packages
    08 Oct 2023
  17. qcheck-stm
    Documentation
    State-machine testing library for sequential and parallel model-based tests
    test property qcheck quickcheck state-machine testing model-based testing parallel testing
    Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
    0.3
    BSD-2-clause
    Used by 8 other packages
    11 Oct 2023
  18. qrc
    Documentation
    QR code encoder for OCaml
    qr-code codec org:erratique
    The qrc programmers
    0.1.0
    ISC
    Used by 0 other packages
    23 Oct 2020
  19. smbc
    Documentation
    Experimental model finder/SMT solver for functional programming
    logic narrowing model smt
    Simon Cruanes
    0.6.1
    Used by 0 other packages
    14 Nov 2019
  20. uchar
    Documentation
    Compatibility library for OCaml's Uchar module
    text character unicode compatibility org:ocaml.org
    Daniel Bünzli
    0.0.2
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 16 other packages
    16 Jul 2017
  21. uucd
    Documentation
    Unicode character database decoder for OCaml
    unicode database decoder org:erratique
    The uucd programmers
    15.1.0
    ISC
    Used by 3 other packages
    16 Sep 2023
  22. uucp
    Documentation
    Unicode character properties for OCaml
    unicode text character org:erratique
    The uucp programmers
    15.1.0
    ISC
    Used by 18 other packages
    16 Sep 2023
  23. uuidm
    Documentation
    Universally unique identifiers (UUIDs) for OCaml
    uuid codec org:erratique
    The uuidm programmers
    0.9.8
    ISC
    Used by 49 other packages
    09 Feb 2022
  24. uunf
    Documentation
    Unicode text normalization for OCaml
    unicode text normalization org:erratique
    The uunf programmers
    15.1.0
    ISC
    Used by 10 other packages
    16 Sep 2023
  25. uuseg
    Documentation
    Unicode text segmentation for OCaml
    unicode text segmentation org:erratique
    The uuseg programmers
    15.1.0
    ISC
    Used by 9 other packages
    16 Sep 2023
  26. uutf
    Documentation
    Non-blocking streaming Unicode codec for OCaml
    unicode text utf-8 utf-16 codec org:erratique
    The uutf programmers
    1.0.3
    ISC
    Used by 73 other packages
    03 Feb 2022
  27. xmlm
    Documentation
    Streaming XML codec for OCaml
    xml codec org:erratique
    The xmlm programmers
    1.4.0
    ISC
    Used by 45 other packages
    09 Feb 2022
  28. zipc
    Documentation
    ZIP archive and deflate codec for OCaml
    codec zip deflate zlib org:erratique
    The zipc programmers
    0.2.0
    ISC
    Used by 0 other packages
    24 Jan 2024