Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for machine learning ocaml
machine-learning
x
ocaml
x
16 search results found
Ocaml Torch
⭐
376
OCaml bindings for PyTorch
Ocaml Jupyter
⭐
261
An OCaml kernel for Jupyter (IPython) notebook
Ocaml Protoc
⭐
169
A Protobuf Compiler for OCaml
Evilml
⭐
143
A compiler from ML to C++ template language
Sesterl
⭐
122
An ML-inspired statically-typed Erlang
Lua Ml
⭐
113
An embeddable Lua 2.5 interpreter implemented in OCaml
Gamepad
⭐
58
A Learning Environment for Theorem Proving
Coq Tactician
⭐
47
A Seamless, Interactive Tactic Learner and Prover for Coq
Gpr
⭐
46
Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
Bright Ml
⭐
38
A statically-typed programming language based on "F-ing modules"
Rml
⭐
37
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
Pycoq
⭐
34
Python bindings for the Coq interactive proof assistant
Ocannl
⭐
31
OCANNL: OCaml Compiles Algorithms for Neural Networks Learning
Cmtool
⭐
30
Lexer and parser generators for Standard ML, OCaml, and Haskell.
Docker Iocaml Datascience
⭐
30
Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning
Docker Ocaml Jupyter Datascience
⭐
30
Dockerfiles for data science in OCaml on Jupyter
Aifad
⭐
30
AIFAD - Automated Induction of Functions over Algebraic Data Types
Sml Handbook
⭐
26
SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
Sundialsml
⭐
24
An OCaml interface to the Sundials suite of numeric solvers.
Lamtez
⭐
22
An ML-inspired smart contract language, compiling to Tezos' Michelson VM
Learn You Plt For Greater Good
⭐
20
A resource library for PLT, Haskell, ML and compilers.
Ocaml Community
⭐
19
Deprecated; use https://github.com/ocaml/ocaml instead
Tiger
⭐
17
Compiler for Tiger language from "Modern Compiler Implementation in ML"
Roosterize
⭐
15
Tool for suggesting lemma names in Coq verification projects
Portage Overlay
⭐
13
Gentoo portage overlay
Owl_symbolic
⭐
12
Connect Owl with other accelerators and numerical frameworks with symbolic maths
Caraml
⭐
12
A toy ML-like programming language
Flowcaml
⭐
11
Flowcaml compiler
Mirage Console
⭐
11
Portable console handling for Mirage applications
Rockstar Ml
⭐
11
Rockstar interpreter in OCaml
Chibiml
⭐
10
ML interpreter/compiler
Pads Ml
⭐
10
A language for describing ad-hoc data sources
Nate
⭐
9
Learning to Blame Type Errors from Novice Mistakes
Miniml
⭐
9
Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.
Functoria Lua
⭐
9
Building Lua interpreters with lot's of functors
Ocaml Vw
⭐
9
OCaml bindings to vowpal wabbit
Libml
⭐
9
OCAML Machine Learning Library
Orf
⭐
8
OCaml Random Forests
Interactivesedlexmenhirexample
⭐
8
Luml
⭐
8
Luml is a type-inferred ML-style language that cross-compiles to Lua
Dsubml
⭐
7
OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
Parameterisedmodule.jl
⭐
7
Full featured parameterised ML-modules in Julia
Nest
⭐
7
Personal Gentoo overlay
Misc Ml Scripts
⭐
7
Various ideas in OCaml, Haskell, and F*
Chaml
⭐
6
An implementation of a constraint-based type-checker for ML based on “The essence of ML type inference”. This one additionally generates an annotated AST along with extra coercions to generalize variables inside patterns. See my master's thesis report for details.
Aero.ml
⭐
6
A -- dialectically ml -- programming and proof language for Ethereum R O
Caml Light
⭐
6
Caml Light
Linwrap
⭐
6
Wrapper on top of liblinear-tools
Camllight
⭐
6
Camllight, fork de la branche de l'INRIA.
Olm Ml
⭐
5
OCaml bindings for the Olm cryptographic library.
Matcheck
⭐
5
A small and generic verifier of ML's pattern-matching construct.
Jloj
⭐
5
Java 8 and Clojure interop
2048 Ml
⭐
5
2048 in OCaml
Cml_benchmarks
⭐
5
The code and other assorted files pertaining to my attempts to benchmark parallel Concurrent ML processing in a handful of languages
Secure Ml Compiler
⭐
5
A ML compiler that secures ML's abstractions at the low-level
6502 Ml
⭐
5
6502 chip simulator in OCaml
Related Searches
Python Machine Learning (14,099)
Jupyter Notebook Machine Learning (12,247)
Machine Learning Neural Network (4,361)
Machine Learning Tensorflow (4,050)
Machine Learning Natural Language Processing (3,891)
Machine Learning Artificial Intelligence (3,877)
Machine Learning Data Science (3,802)
Machine Learning Pytorch (2,910)
Machine Learning Dataset (2,298)
Machine Learning Computer Vision (1,966)
1-16 of 16 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.