janestreet / torchLinks
☆148Updated 3 weeks ago
Alternatives and similar repositories for torch
Users that are interested in torch are comparing it to the libraries listed below
Sorting:
- OCANNL: OCaml Compiles Algorithms for Neural Networks Learning☆101Updated this week
- A library to help writing wrappers around ocaml code for python☆99Updated last year
- Opam repository for the development version of Jane Street packages☆133Updated 3 weeks ago
- OCaml bindings for Python☆201Updated 6 months ago
- A tool-agnostic formal specification language for OCaml.☆155Updated 2 months ago
- OxCaml Parallelism☆37Updated 3 weeks ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆257Updated 3 weeks ago
- Lock-free data structures for multicore OCaml☆262Updated 8 months ago
- Software Transactional Memory for OCaml☆135Updated 7 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆213Updated last year
- Formal verification for OCaml☆270Updated last year
- The LLVM tutorial using OCaml☆34Updated 2 years ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆159Updated 2 years ago
- A deterministic parser with fused lexing☆75Updated 2 years ago
- Parallel Programming over Domains☆184Updated last month
- Cram like framework for OCaml☆183Updated 3 weeks ago
- OCaml plus Jane Street extensions☆73Updated last year
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- OCaml bindings for PyTorch☆435Updated last year
- Modern scientific computing for OCaml☆346Updated this week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]☆196Updated last week
- OCaml graph library☆244Updated 3 months ago
- An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logt…☆152Updated last year
- OCaml - Oxidized!☆643Updated this week
- A stepping debugger for Standard ML (SML)☆26Updated last year
- Safe OCaml-Rust Foreign Function Interface☆45Updated 2 years ago
- OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)☆134Updated 2 months ago
- EGraphs in OCaml☆80Updated 2 years ago
- An SMT solver frontend for OCaml☆59Updated this week
- A simple scheduler for OCaml 5☆131Updated 2 weeks ago