Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 01 Oct 2024
https://github.com/redprl/cooltt
😎TT
cubical-type-theory homotopy-type-theory ocaml ocaml-program proof-assistant type-theory
Last synced: 29 Sep 2024
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: 04 Aug 2024
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: 29 Sep 2024
https://github.com/mungasoftwiz/braincaml
An OCaml-based interpreter for the Brainf*ck esoteric programming language.
brainfuck functional-programming ocaml ocaml-program
Last synced: 29 Sep 2024