Awesome Open Source

Programming Languages

Search results for ocaml algebra

13 search results found

OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

NumLin: Linear Types for Linear Algebra

Kleene algebra modulo theories

Metaocaml Frex ⭐ 20

Ocaml Alg ⭐ 15

Algebraic structures in OCaml.

Ocaml Pari ⭐ 12

OCaml bindings to the number theory library PARI/GP

Owl_symbolic ⭐ 12

Connect Owl with other accelerators and numerical frameworks with symbolic maths

Abstract domain library for sets

Parameterisedmodule.jl ⭐ 7

Full featured parameterised ML-modules in Julia

Ocaml Algebra ⭐ 7

An algebra system written in OCaml

Process Algebra Ve'rifier

Statistics module written in Reason

Related Searches

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Mathematics Algebra (362)

C Plus Plus Algebra (332)

Ocaml Bucklescript (320)

Matrix Linear Algebra (317)

Matrix Algebra (308)

Types Ocaml (294)

Language Ocaml (289)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.