Projects in Awesome Lists tagged with ocaml-program
A curated list of projects in awesome lists tagged with ocaml-program .
https://github.com/ygrek/mldonkey
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
Last synced: 09 Apr 2025
https://github.com/redprl/cooltt
😎TT
cubical-type-theory homotopy-type-theory ocaml ocaml-program proof-assistant type-theory
Last synced: 09 Apr 2025
https://github.com/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
Last synced: 25 Apr 2025
https://github.com/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
Last synced: 21 Nov 2024
https://github.com/unixjunkie/daft
DAFT Allows File Transfers
cli cryptography distributed-file-system ocaml-program user-space
Last synced: 14 Apr 2025
https://github.com/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
Last synced: 14 Apr 2025
https://github.com/unixjunkie/hts_shrink
Reference implementation of the Distance-Based Boolean Applicability Domain for HTS datasets
applicability-domain bandwidth-selection cadd chemoinformatics hts lbvs ocaml-program parzen-window qsar sample-selection
Last synced: 14 Apr 2025
https://github.com/unixjunkie/mmo
Molecular Mechanics in OCaml
ani-2x docking ligand molecular-mechanics monte-carlo ocaml-library ocaml-program protein universal-force-field
Last synced: 14 Apr 2025
https://github.com/unixjunkie/linwrap
Wrapper on top of liblinear-tools
classification l2-regularization liblinear linear-svm linear-svr logistic-regression lrl2 machine-learning ocaml-program
Last synced: 14 Apr 2025
https://github.com/unixjunkie/pardi
Parallel and Distributed execution of command lines, pardi !
command-line command-line-tool distributed ocaml-program parallel
Last synced: 14 Apr 2025
https://github.com/unixjunkie/rankers
Reference implementation of the Vanishing Ranking Kernels (VRK) method
applicability-domain bandwidth-selection cadd chemoinformatics classification hts kde lbvs ocaml-program qsar vrk
Last synced: 14 Apr 2025
https://github.com/unixjunkie/vdw_grid_bench
Van der Waals 3D grid initialization benchmark
computational-chemistry high-performance-computing molecular-mechanics ocaml-program van-der-waals
Last synced: 14 Apr 2025
https://github.com/unixjunkie/svmwrap
Wrapper on top of libsvm-tools
classification machine-learning ocaml-program regression statistical-modeling support-vector-machine svm
Last synced: 14 Apr 2025
https://github.com/unixjunkie/gram-matrix-bench
Performance benchmark for Parmap and Parany
benchmark gram-matrix hpc ocaml-program parallel-computing parany parmap performance
Last synced: 26 Mar 2025
https://github.com/unixjunkie/ofts
OCaml fuzzy type search
command-line-tool hoogle ocaml ocaml-program search-engine types
Last synced: 06 Apr 2025
https://github.com/matrixai/ocaml-demo
OCaml Demo Project
ocaml ocaml-library ocaml-program
Last synced: 17 Mar 2025
https://github.com/dpbm/testing-ocaml
testing ocaml language
ocaml ocaml-language ocaml-lernaing ocaml-program testing-language testing-new-programming-language
Last synced: 13 Mar 2025
https://github.com/jboillot/analyser
Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.
c inline-assembly ocaml-program static-analyzer
Last synced: 16 Mar 2025
https://github.com/bmmunga/braincaml
An OCaml-based interpreter for the Brainf*ck esoteric programming language.
brainfuck functional-programming ocaml ocaml-program
Last synced: 15 Mar 2025
https://github.com/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
Last synced: 15 Mar 2025
https://github.com/mungasoftwiz/braincaml
An OCaml-based interpreter for the Brainf*ck esoteric programming language.
brainfuck functional-programming ocaml ocaml-program
Last synced: 21 Jan 2025
