ocaml-program

There are 0 repository under ocaml-program topic.

ygrek / mldonkey
cross-platform multi-network p2p daemon
mldonkey ocaml-program p2p
Language:OCaml 230
RedPRL / cooltt
😎TT
cubical-type-theory proof-assistant type-theory homotopy-type-theory ocaml ocaml-program
Language:OCaml 213
abbysmal / Goodboy
A pure OCaml Gameboy emulator
ocaml ocaml-program gameboy gameboy-emulator
Language:OCaml 83
RedPRL / algaett
🦠 An experimental elaborator for dependent type theory using effects and handlers
algebraic-effects normalization-by-evaluation ocaml ocaml-program type-theory proof-assistant
Language:OCaml 30
UnixJunkie / daft
DAFT Allows File Transfers
distributed-file-system cryptography cli ocaml-program user-space
Language:OCaml 23
UnixJunkie / molenc
MolEnc: a molecular encoder using rdkit and OCaml.
qsar chemoinformatics lbvs rdkit python-script ocaml-program chemical-fingerprint signature-molecular-descriptor molecular-encoding atom-pairs pharmacophore-points counted-unfolded-fingerprint
Language:OCaml 18
tsudalab / ACP4
AutoCorrelation of Pharmacophore Features
autocorrelation binding-site ligand-based ocaml-program pharmacophore virtual-screening
Language:OCaml 15
UnixJunkie / hts_shrink
Reference implementation of the Distance-Based Boolean Applicability Domain for HTS datasets
hts lbvs ocaml-program chemoinformatics applicability-domain cadd sample-selection parzen-window bandwidth-selection qsar
Language:OCaml 7
UnixJunkie / linwrap
Wrapper on top of liblinear-tools
liblinear linear-svm classification ocaml-program logistic-regression l2-regularization lrl2 linear-svr machine-learning
Language:OCaml 6
UnixJunkie / rankers
Reference implementation of the Vanishing Ranking Kernels (VRK) method
ocaml-program hts qsar lbvs chemoinformatics bandwidth-selection applicability-domain classification cadd kde vrk
Language:OCaml 6
UnixJunkie / pardi
Parallel and Distributed execution of command lines, pardi !
ocaml-program parallel distributed command-line command-line-tool
Language:OCaml 5
UnixJunkie / MMO
Molecular Mechanics in OCaml
docking ligand molecular-mechanics monte-carlo protein ani-2x universal-force-field ocaml-library ocaml-program
Language:OCaml 4
UnixJunkie / svmwrap
Wrapper on top of libsvm-tools
svm regression machine-learning statistical-modeling support-vector-machine ocaml-program classification
Language:OCaml 4
UnixJunkie / vdW_grid_bench
Van der Waals 3D grid initialization benchmark
computational-chemistry high-performance-computing van-der-waals molecular-mechanics ocaml-program
Language:OCaml 4
jgkaplan / whitespaceTranspiler
Transpile from a simple language to whitespace
esoteric esoteric-language language whitespace custom-language ocaml ocaml-program compiler transpiler menhir ocamllex
Language:OCaml 3
UnixJunkie / gram-matrix-bench
Performance benchmark for Parmap and Parany
ocaml-program parallel-computing performance hpc parmap parany gram-matrix benchmark
Language:OCaml 3
UnixJunkie / ofts
OCaml fuzzy type search
ocaml search-engine types hoogle command-line-tool ocaml-program
3
MatrixAI / OCaml-Demo
OCaml Demo Project
ocaml ocaml-library ocaml-program
Language:Nix 2
OnofreTZK / Blockchain4Me
blockchain-demos nonce ocaml-program api hash crypto
Language:OCaml 2
Quazar-Corp / Sheldrake
Blockchain network demo
blockchain-technology cryptocurrency dapp distributed-systems ocaml-program
Language:OCaml 2
ssdubey / irmin-backend-applications
This repository contains example applications using several irmin-backends
irmin irmin-backends ocaml-program
Language:OCaml 2
Bhavya1912 / Ocaml-Prac
For each of these questions, some simple tests are shown—they may also serve to make the question clearer if needed. To work on these problems, we recommend you first install OCaml or use it inside your browser.
ocaml ocaml-program
1
jboillot / analyser
Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.
static-analyzer c inline-assembly ocaml-program
Language:OCaml 1
David-Mais / OCaml_Projects
👋 Hey there! This Git repository is where I'm uploading my OCaml 🐫 files! Let's code some magic! 🚀
functional-programming ocaml ocaml-program
Language:OCaml 0
peppe212 / OCaml-interpreter
Implementation of an interpreter in OCAML
ocaml-program
Language:OCaml 0
MungaSoftwiz / BrainCaml
An OCaml-based interpreter for the Brainf*ck esoteric programming language.
functional-programming ocaml ocaml-program
Language:OCaml
Narimanzk / ProgrammingLanguagesAndParadigms
COMP 302: Programming Languages and Paradigms - Homeworks
functional-programming ocaml ocaml-exercises ocaml-program
Language:OCaml
s-alad / advent-of-code-2023-ocaml
Advent Of Code 2023 Ocaml Solutions
advent advent-of-code advent-of-code-2023 aoc fp functional-programming ocaml ocaml-program
Language:OCaml