An open API service providing repository metadata for many open source software ecosystems.

Topic: "ocaml-program"

ygrek/mldonkey

cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)

Language: OCaml - Size: 14.4 MB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 278 - Forks: 48

RedPRL/cooltt

๐Ÿ˜ŽTT

Language: OCaml - Size: 3.48 MB - Last synced at: 19 days ago - Pushed at: over 1 year ago - Stars: 225 - Forks: 14

abbysmal/Goodboy

A pure OCaml Gameboy emulator

Language: OCaml - Size: 41 KB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 83 - Forks: 2

RedPRL/algaett

๐Ÿฆ  An experimental elaborator for dependent type theory using effects and handlers

Language: OCaml - Size: 620 KB - Last synced at: 3 days ago - Pushed at: over 1 year ago - Stars: 35 - Forks: 0

UnixJunkie/daft

DAFT Allows File Transfers

Language: OCaml - Size: 469 KB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 23 - Forks: 1

UnixJunkie/molenc

MolEnc: a molecular encoder using rdkit and OCaml.

Language: OCaml - Size: 9.04 MB - Last synced at: 14 days ago - Pushed at: 25 days ago - Stars: 19 - Forks: 2

UnixJunkie/MMO

Molecular Mechanics in OCaml

Language: OCaml - Size: 1.55 MB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 7 - Forks: 0

UnixJunkie/hts_shrink

Reference implementation of the Distance-Based Boolean Applicability Domain for HTS datasets

Language: OCaml - Size: 2.55 MB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 2

UnixJunkie/linwrap

Wrapper on top of liblinear-tools

Language: OCaml - Size: 2.6 MB - Last synced at: 14 days ago - Pushed at: about 1 year ago - Stars: 6 - Forks: 0

UnixJunkie/rankers

Reference implementation of the Vanishing Ranking Kernels (VRK) method

Language: OCaml - Size: 361 KB - Last synced at: 14 days ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 0

UnixJunkie/pardi

Parallel and Distributed execution of command lines, pardi !

Language: OCaml - Size: 468 KB - Last synced at: 14 days ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 0

UnixJunkie/svmwrap

Wrapper on top of libsvm-tools

Language: OCaml - Size: 1.59 MB - Last synced at: 14 days ago - Pushed at: 6 months ago - Stars: 4 - Forks: 0

UnixJunkie/vdW_grid_bench

Van der Waals 3D grid initialization benchmark

Language: OCaml - Size: 37.1 KB - Last synced at: 14 days ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 2

UnixJunkie/gram-matrix-bench

Performance benchmark for Parmap and Parany

Language: OCaml - Size: 525 KB - Last synced at: about 1 month ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 1

jgkaplan/whitespaceTranspiler

Transpile from a simple language to whitespace

Language: OCaml - Size: 143 KB - Last synced at: 9 months ago - Pushed at: almost 6 years ago - Stars: 3 - Forks: 1

UnixJunkie/ofts

OCaml fuzzy type search

Size: 14.6 KB - Last synced at: 22 days ago - Pushed at: about 6 years ago - Stars: 3 - Forks: 0

Horizon-XT/Sheldrake

Blockchain network demo

Language: OCaml - Size: 181 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1

tsudalab/ACP4 Fork of UnixJunkie/ACP4

AutoCorrelation of Pharmacophore Features

Language: OCaml - Size: 140 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

OnofreTZK/Blockchain4Me

Language: OCaml - Size: 21.6 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

ssdubey/irmin-backend-applications

This repository contains example applications using several irmin-backends

Language: OCaml - Size: 24.4 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0

MatrixAI/OCaml-Demo

OCaml Demo Project

Language: Nix - Size: 10.7 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

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.

Size: 62.5 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

jboillot/analyser

Analyser is a static analyser which finds errors and undefinded behaviors in C programs with inline assembly.

Language: OCaml - Size: 110 KB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 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.

Language: OCaml - Size: 241 KB - Last synced at: about 1 month ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

bmmunga/BrainCaml

An OCaml-based interpreter for the Brainf*ck esoteric programming language.

Language: OCaml - Size: 10.7 KB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

David-Mais/OCaml_Projects

๐Ÿ‘‹ Hey there! This Git repository is where I'm uploading my OCaml ๐Ÿซ files! Let's code some magic! ๐Ÿš€

Language: OCaml - Size: 27.3 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

peppe212/OCaml-interpreter

Implementation of an interpreter in OCAML

Language: OCaml - Size: 3.91 KB - Last synced at: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

Related Topics
ocaml 10 qsar 3 lbvs 3 chemoinformatics 3 classification 3 functional-programming 2 molecular-mechanics 2 type-theory 2 proof-assistant 2 ocaml-library 2 hts 2 cadd 2 command-line-tool 2 bandwidth-selection 2 applicability-domain 2 machine-learning 2 distributed-file-system 1 cryptography 1 cli 1 van-der-waals 1 user-space 1 high-performance-computing 1 computational-chemistry 1 p2p 1 mldonkey 1 vrk 1 kde 1 types 1 esoteric-language 1 signature-molecular-descriptor 1 rdkit 1 python-script 1 pharmacophore-points 1 molecular-encoding 1 counted-unfolded-fingerprint 1 chemical-fingerprint 1 atom-pairs 1 universal-force-field 1 protein 1 monte-carlo 1 ligand 1 docking 1 ani-2x 1 sample-selection 1 parzen-window 1 lrl2 1 logistic-regression 1 linear-svr 1 linear-svm 1 liblinear 1 l2-regularization 1 svm 1 support-vector-machine 1 statistical-modeling 1 regression 1 esoteric 1 custom-language 1 compiler 1 gameboy-emulator 1 gameboy 1 tokenization 1 lexical-analyzer 1 lexical-analysis 1 irmin-backends 1 irmin 1 nonce 1 hash 1 crypto 1 blockchain-demos 1 api 1 distributed-systems 1 dapp 1 cryptocurrency 1 blockchain-technology 1 virtual-screening 1 pharmacophore 1 ligand-based 1 binding-site 1 autocorrelation 1 search-engine 1 hoogle 1 parallel 1 distributed 1 command-line 1 performance 1 parmap 1 parany 1 parallel-computing 1 hpc 1 gram-matrix 1 benchmark 1 static-analyzer 1 inline-assembly 1 c 1 homotopy-type-theory 1 cubical-type-theory 1 brainfuck 1 normalization-by-evaluation 1 algebraic-effects 1 whitespace 1