ocaml-program

There are 0 repository under ocaml-program topic.

ygrek / mldonkey
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
mldonkey ocaml-program p2p
Language:OCaml 316
RedPRL / cooltt
😎TT
cubical-type-theory proof-assistant type-theory homotopy-type-theory ocaml ocaml-program
Language:OCaml 233
abbysmal / Goodboy
A pure OCaml Gameboy emulator
gameboy gameboy-emulator ocaml ocaml-program
Language:OCaml 85
RedPRL / algaett
🦠 An experimental elaborator for dependent type theory using effects and handlers
algebraic-effects normalization-by-evaluation ocaml ocaml-program proof-assistant type-theory
Language:OCaml 37
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.
atom-pairs chemical-fingerprint chemoinformatics counted-unfolded-fingerprint lbvs molecular-encoding ocaml-program pharmacophore-points python-script qsar rdkit signature-molecular-descriptor
Language:OCaml 20
tsudalab / ACP4
AutoCorrelation of Pharmacophore Features
autocorrelation binding-site ligand ligand-binding-site ocaml-program pharmacophore virtual-screening
Language:OCaml 15
UnixJunkie / MMO
Molecular Mechanics in OCaml
docking ligand molecular-mechanics monte-carlo protein ani-2x universal-force-field ocaml-library ocaml-program
Language:OCaml 8
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 7
UnixJunkie / pardi
Parallel and Distributed execution of command lines, pardi !
ocaml-program parallel distributed command-line command-line-tool
Language:OCaml 5
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 5
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 / ACP4
AutoCorrelation of Pharmacophore Features
autocorrelation binding-site ligand ocaml-program pharmacophore virtual-screening
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
Onofre-Portfolio / Sheldrake
Blockchain network demo
cryptocurrency blockchain-technology distributed-systems dapp ocaml-program
Language:OCaml 2
OnofreTZK / Blockchain4Me
blockchain-demos nonce ocaml-program api hash crypto
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
SreecharanV / Tokenization-and-Categorization-using-OCaml-A-Lexical-Analysis-Approach
An OCaml-based lexical analyzer that identifies and classifies tokens such as identifiers, operators, punctuation symbols, integer literals, and keywords. The project involves tokenizing input text, categorizing tokens, and printing them with their respective categories. Key functions include tokenize, is_alnum, is_punctuation, and print_tokens.
lexical-analysis lexical-analyzer ocaml ocaml-program tokenization
Language:OCaml 0
bmmunga / BrainCaml
An OCaml-based interpreter for the Brainf*ck esoteric programming language.
functional-programming ocaml ocaml-program brainfuck
Language:OCaml
Narimanzk / ProgrammingLanguagesAndParadigms
COMP 302: Programming Languages and Paradigms - Homeworks
ocaml ocaml-exercises ocaml-program functional-programming
Language:OCaml