Robuta

https://ocaml.org/ Welcome to a World of OCaml OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. welcome toworld ofocaml https://tarides.com/ Tarides | Secure, High-Performance Systems with OCaml Tarides builds secure, high-performance software systems using OCaml and open-source technology. They offer development, consulting, and training services. high performance systemstaridessecureocaml https://lists.debian.org/debian-ocaml-maint/2020/04/msg00004.html ocaml-deriving-ocsigen_0.7.1-1.1_source.changes ACCEPTED into unstable ocamlderiving https://lists.libguestfs.org/archives/list/guestfs@lists.libguestfs.org/message/UMIPTES5PXKVFK6T5XAS3KAKOYQJJEBW/ [Libguestfs] [PATCH v5 13/32] daemon: Allow parts of the daemon and APIs to be written in OCaml. -... https://sage.caelum.ci.dev/package/bap-fsi-benchmark.2.2.0 ocaml-docs-ci ocamldocsci https://alan.petitepomme.net/cwn/2024.07.02.html OCaml Weekly News ocamlweeklynews https://codingfleet.com/code-converter/perl/ocaml/ Perl to OCaml Converter - CodingFleet Perl to OCaml Code Converter helps translate code from Perl into OCaml. It converts the structure, syntax, and common patterns into a practical OCaml version... perlocamlconvertercodingfleet https://mirror.deepines.com/deepin/pool/non-free/o/ocaml-doc/?C=D;O=D Index of /deepin/pool/non-free/o/ocaml-doc index ofdeepinpoolnonfree https://alan.petitepomme.net/cwn/2016.03.01.html OCaml Weekly News ocamlweeklynews https://fr2.rpmfind.net/linux/rpm2html/search.php?query=ocaml(Topdirs) RPM resource ocaml(Topdirs) rpmresourceocaml https://lists.debian.org/debian-ocaml-maint/2022/08/msg00003.html [Git][ocaml-team/alt-ergo][master] 5 commits: New upstream version 2.4.2 https://sage.caelum.ci.dev/package/bls12-381.0.3.15 ocaml-docs-ci ocamldocsci https://fr2.rpmfind.net/linux/rpm2html/search.php?query=ocaml(Stdlib) RPM resource ocaml(Stdlib) rpmresourceocamlstdlib https://www.springbokit.com/job-technology/ocaml/ IT Jobs in Texas, Missouri & Beyond: OCaml - Springbok IT Staffing jobs in texasmissouribeyondocamlspringbok https://ocsigen.org/js_of_ocaml/dev/manual/contribute Contributing to Js_of_ocaml contributingjsocaml https://opam.ocaml.org/packages/js_of_ocaml-compiler/ opam - js_of_ocaml-compiler The homepage of opam, a package manager for OCaml opamjsocamlcompiler https://fr2.rpmfind.net/linux/rpm2html/search.php?query=ocaml(Typedecl) RPM resource ocaml(Typedecl) rpmresourceocaml https://sage.caelum.ci.dev/package/augeas.0.6 ocaml-docs-ci ocamldocsci https://groups.google.com/g/fa.caml/c/iIsdMlP12rs [Caml-list] [ANN] OCaml Meeting 2010 in Paris, 2nd call in pariscamllistannmeeting https://lists.debian.org/debian-ocaml-maint/2019/07/msg00152.html [Git][ocaml-team/ocaml-inifiles] Pushed new tag debian/1.2-4 gitocamlteampushed https://sage.caelum.ci.dev/package/async_shell.v0.17.0 ocaml-docs-ci ocamldocsci https://packages.debian.org/search?suite=experimental&arch=sh4&searchon=sourcenames&keywords=ocaml-sqlexpr Debian -- Package Search Results -- ocaml-sqlexpr debian packagesearch resultsocaml https://lists.debian.org/debian-ocaml-maint/2001/11/msg00076.html Re: ocaml task package ... ocamltaskpackage https://groups.google.com/g/fa.caml/c/861pEUKS4GU [Caml-list] ocaml-duppy: an advanced scheduler for ocaml. advanced schedulercamllistduppy https://terrateam.io/technical-architecture Terrateam Technical Architecture - Deep Dive into Our OCaml GitOps Platform Comprehensive technical overview of Terrateam's OCaml-based GitOps platform. Learn about our custom async framework, type-safe SQL, advanced state management,... technical architecturedeep diveterrateamocamlgitops https://md.ekstrandom.net/blog/2010/06/ocaml-memory-tuning mdekstrand :: Tuning the OCaml memory allocator for large data processing jobs data processingtuningocamlmemory https://packages.debian.org/search?lang=fi&suite=sid&arch=armhf&keywords=ocaml-charinfo-width Debian -- Pakettihaun tulokset -- ocaml-charinfo-width debiantuloksetocamlwidth https://ocaml.org/p/lwt/latest lwt 6.1.2 (latest) ยท OCaml Package lwt 6.1.2 (latest): Promises and event-driven I/O lwtlatestocamlpackage https://sage.caelum.ci.dev/package/bap-core-theory.2.4.0 ocaml-docs-ci ocamldocsci https://mirrors.sohu.com/cygwin/x86_64/release/ocaml-lablgtk2/ocaml-lablgtksourceview2/?C=N&O=D Index of /cygwin/x86_64/release/ocaml-lablgtk2/ocaml-lablgtksourceview2/ index ofcygwinreleaseocaml https://lists.libguestfs.org/archives/list/guestfs@lists.libguestfs.org/message/KP4KLUEN2IGYRJGLZC44H7CJHHYKKOLF/ Re: [Libguestfs] [PATCH (incomplete)] Rewrite virt-sysprep in OCaml. - Libguestfs - Libguestfs List... patchincompleterewritevirtsysprep https://staging.opam.ocaml.org/packages/embedded_ocaml_templates/embedded_ocaml_templates.0.5.1/ opam - embedded_ocaml_templates.0.5.1 The homepage of opam, a package manager for OCaml opamembeddedocamltemplates https://inbox.ci.dev/caml-list/m2k013xkxc.fsf@m4x.org/T/ [Caml-list] Attn: Development Editor, Latest OCaml Weekly News camllistattndevelopmenteditor https://ftp.us2.freshrpms.net/linux/RPM/opensuse/15.6/ppc64le/ocaml-ounit-devel-2.2.7-150600.1.4.ppc64le.html ocaml-ounit-devel-2.2.7-150600.1.4.ppc64le RPM ocamldevelrpm https://inbox.ci.dev/caml-list/878sliivri.fsf@polytechnique.org/ [Caml-list] Attn: Development Editor, Latest OCaml Weekly News - Alan Schmitt weekly newscamllistattndevelopment https://lists.debian.org/debian-ocaml-maint/2018/09/msg00039.html ocaml-vorbis 0.7.1-1 MIGRATED to testing ocamlvorbismigratedtesting https://procrastiblog.com/ Procrastiblog | A place to document tips and tricks for the various Linux, LaTeX, OCaml, and other... A place to document tips and tricks for the various Linux, LaTeX, OCaml, and other general computer-related topics that I encounter in my daily life and a... https://lists.debian.org/debian-ocaml-maint/2018/09/msg00002.html Processing of ocaml-duppy_0.7.2-1_amd64.changes processingocamlduppychanges https://ocaml.debian.net:4443/backports/20260425/repo/pool/ocaml-mm/ Index of /backports/20260425/repo/pool/ocaml-mm/ index ofbackportsrepopoolocaml https://ocaml.debian.net:4443/backports/20260425/repo/pool/ocaml-lastfm/ Index of /backports/20260425/repo/pool/ocaml-lastfm/ index ofbackportsrepopoolocaml https://tests.reproducible-builds.org/debian/rb-pkg/bookworm/amd64/cairo-ocaml.html cairo-ocaml - reproducible builds result reproducible buildscairoocamlresult https://lists.debian.org/debian-ocaml-maint/2015/10/msg00066.html Bug#801560: marked as done (liblabltk-ocaml: fails to upgrade from 'testing' - trying to overwrite... https://opam.ocaml.org/packages/ocaml-src/ocaml-src.4.14.1/ opam - ocaml-src.4.14.1 The homepage of opam, a package manager for OCaml opamocamlsrc https://ocaml.org/manual/5.2/api/Buffer.html OCaml library : Buffer ocamllibrarybuffer https://lists.debian.org/debian-ocaml-maint/2001/12/msg00005.html Re: why is ocaml not in testing ? not inocamltesting https://lists.debian.org/debian-ocaml-maint/2011/02/msg00050.html Bug#585453: marked as done (unison: FTBFS with OCaml 3.12 because of changes in Map) https://lists.debian.org/debian-ocaml-maint/2004/06/msg00057.html Re: splitting up the ocaml package: summary splitting upocamlpackagesummary https://lists.debian.org/debian-ocaml-maint/2020/12/msg00059.html ocaml-mm_0.6.0.1~really0.5.0-1_source.changes ACCEPTED into unstable https://opam.ocaml.org/packages/ocaml-probes/ocaml-probes.v0.15.0/ opam - ocaml-probes.v0.15.0 The homepage of opam, a package manager for OCaml opamocamlprobes https://packages.debian.org/search?lang=nl&suite=sid&arch=mipsel&keywords=ocaml-charinfo-width Debian -- Package Search Results -- ocaml-charinfo-width debian packagesearch resultsocamlwidth https://lists.debian.org/debian-ocaml-maint/2001/12/msg00167.html Re: ocaml-doc patch for /usr/share/doc/ocaml ocamldocpatchusrshare https://sage.caelum.ci.dev/package/archetype.1.5.3 ocaml-docs-ci ocamldocsci https://lists.libguestfs.org/archives/list/guestfs@lists.libguestfs.org/message/AHUTDR3ZBP42XCPXFLNFF6LOFNSTYB3J/ [Libguestfs] [PATCH 3/5] Revert "Revert "daemon: implement OptString for OCaml APIs"" - Libguestfs... patchrevert https://lists.debian.org/debian-ocaml-maint/2019/05/maillist.html debian-ocaml-maint May 2019 by date debianocamlmaintmaydate https://ocaml.debian.net:4443/backports/20260425/repo/pool/ocaml-rresult/ Index of /backports/20260425/repo/pool/ocaml-rresult/ index ofbackportsrepopoolocaml https://opam.ocaml.org/packages/ocaml-system/ocaml-system.3.07+1/ opam - ocaml-system.3.07+1 The homepage of opam, a package manager for OCaml opamocamlsystem https://github.com/ip2whois/ip2whois-ocaml GitHub - ip2whois/ip2whois-ocaml: OCaml SDK enables user to easily implement the checking of WHOIS... OCaml SDK enables user to easily implement the checking of WHOIS information for a particular domain into their solution using the API from www.ip2whois.com -... https://lists.debian.org/debian-ocaml-maint/2014/05/msg00037.html Processing of ocaml-sqlexpr_0.5.5-2_amd64.changes processingocamlchanges https://packages.debian.org/search?lang=hu&suite=sid&arch=x32&keywords=ocaml-charinfo-width Debian -- Package Search Results -- ocaml-charinfo-width debian packagesearch resultsocamlwidth https://opam.ocaml.org/packages/js_of_ocaml-toplevel/js_of_ocaml-toplevel.4.1.0/ opam - js_of_ocaml-toplevel.4.1.0 The homepage of opam, a package manager for OCaml opamjsocamltoplevel https://ftp.cica.es/ubuntu/ubuntu/pool/universe/o/ocaml-obuild/ Index of /ubuntu/ubuntu/pool/universe/o/ocaml-obuild/ index ofubuntupooluniverseocaml https://sage.caelum.ci.dev/package/bap-x86.2.3.0 ocaml-docs-ci ocamldocsci https://svnweb.mageia.org/packages/cauldron/ocaml-domainslib/current/SOURCES/ [packages] Index of /cauldron/ocaml-domainslib/current/SOURCES index ofpackagescauldronocamlcurrent https://lists.debian.org/debian-ocaml-maint/2021/01/msg00070.html [Git][ocaml-team/camlbz2][pristine-tar] pristine-tar data for camlbz2_0.6.1.orig.tar.gz https://mirrors.sonic.net/ubuntu/ubuntu/pool/universe/o/ocaml-hex/?C=D;O=A Index of /ubuntu/ubuntu/pool/universe/o/ocaml-hex index ofubuntupooluniverseocaml https://lists.debian.org/debian-ocaml-maint/2002/11/msg00132.html Re: FREEZE!: ocaml compiler bug in debian? compiler bugfreezeocamldebian https://inbox.ci.dev/caml-list/?t=20260217134732 Mailing list for all users of the OCaml language and system. for all usersmailing listof the https://lists.debian.org/debian-ocaml-maint/2021/01/msg00159.html [Git][ocaml-team/camlbz2] Pushed new branch salsaci new branchgitocamlteampushed https://sage.caelum.ci.dev/package/conf-llvm.7.0.0 ocaml-docs-ci ocamldocsci https://fr2.rpmfind.net/linux/RPM/opensuse/ports/tumbleweed/s390x/ocaml-compiler-libs-devel-4.14.2-3.1.s390x.html ocaml-compiler-libs-devel-4.14.2-3.1.s390x RPM ocamlcompilerlibsdevel https://forge.ocamlcore.org/projects/ocaml-usb/ ocaml-usb ocamlusb https://lists.debian.org/debian-ocaml-maint/2023/01/msg00096.html [Git][ocaml-team/ocamlbuild][master] 2 commits: Remove constraints unnecessary since buster https://lists.debian.org/debian-ocaml-maint/2019/07/msg00227.html [Git][ocaml-team/hol-light] Pushed new tag debian/20190729-2 gitocamlteamhollight https://fr2.rpmfind.net/linux/RPM/opensuse/16.0/s390x/ocaml-4.14.2-160000.4.1.s390x.html ocaml-4.14.2-160000.4.1.s390x RPM ocamlrpm https://pkgsubmit.mageia.org/autobuild/cauldron/x86_64/core/2025-04-23/ocaml-lablgl-1.06-8.mga10/?C=D;O=A Index of /autobuild/cauldron/x86_64/core/2025-04-23/ocaml-lablgl-1.06-8.mga10 https://dannywillems.github.io/blog/2023/03/10/fpic-ocaml/ Fix -fPIC OCaml compilation error | Danny Willems Mar 10, 2023 - A mathematician dreaming about describing the Universe with equations and symbols. Cryptography researcher and engineer. Founder of BaDaaS (personal research).... fixfpicocamlcompilationerror https://discuss.ocaml.org/t/ann-caisar-release-1-0-a-platform-for-characterizing-ai-safety-and-robustness/13634/1 [ANN] CAISAR release 1.0, a platform for characterizing AI safety and robustness - Community - OCaml Dec 14, 2023 - Dear all, on the occasion of the 68th birthday of the Flag or Europe, we are delighted to release the version 1.0 of CAISAR. The release source is available... https://ocsigen.org/js_of_ocaml/3.5.1/manual/library The Js_of_ocaml library jsocamllibrary https://discuss.ocaml.org/t/update-on-eio-effects-based-direct-style-io-for-ocaml-5/10395/1 Update on Eio (effects-based direct-style IO for OCaml 5) - Community - OCaml Aug 29, 2022 - Eio provides an effects-based direct-style IO stack for OCaml 5.0. It aims to be easy to use, secure, well documented, and fast. It consists of a generic... https://lists.debian.org/debian-ocaml-maint/2014/05/msg00032.html Bug#733934: marked as done (libmikmatch-ocaml-dev: an attempt to compile a program using the... https://lists.debian.org/debian-ocaml-maint/2021/01/msg00151.html [Git][ocaml-team/ocaml-doc] Pushed new tag debian/4.11-2 gitocamlteamdocpushed https://lists.debian.org/debian-ocaml-maint/2019/07/msg00004.html [Git][ocaml-team/ocaml-flac] Pushed new tag debian/0.1.5-1 gitocamlteamflacpushed https://discuss.ocaml.org/t/oups-meetup-april-2024/14512/1 OUPS meetup april 2024 - Community - OCaml Apr 18, 2024 - The next OUPS meetup will take place on Thursday, 25th of April 2024. It will start at 7pm at the 4 place Jussieu in Paris. :warning: :trumpet: It will be in... oupsmeetupaprilcommunityocaml https://us.archive.ubuntu.com/ubuntu/ubuntu/pool/universe/o/ocaml-ogg/?C=N;O=D Index of /ubuntu/ubuntu/pool/universe/o/ocaml-ogg index ofubuntupooluniverseocaml https://www.tweag.io/blog/2023-02-16-opam-nix/ opam-nix: Nixify Your OCaml Projects - Tweag We present opam-nix, show how it helps to easily develop, build and test your OCaml projects with Nix opamnixocamlprojects https://packages.debian.org/search?lang=de&arch=ppc64el&searchon=sourcenames&keywords=ocaml-sqlexpr Debian -- Ergebnisse der Paketsuche -- ocaml-sqlexpr debianergebnissederocaml https://farlow.dev/2025/07/27/encoding-sat-in-ocaml-gadts Encoding SAT in OCaml GADTs | farlow.dev Jul 27, 2025 - Proof that compiling OCaml is NP-hard encodingsatocamldev https://staging.opam.ocaml.org/packages/ocaml/ocaml.4.12.2/ opam - ocaml.4.12.2 The homepage of opam, a package manager for OCaml opamocaml https://fr2.rpmfind.net/linux/RPM/almalinux/8.10/powertools/s390x/ocaml-compiler-libs-4.07.0-3.el8.s390x.html ocaml-compiler-libs-4.07.0-3.el8.s390x RPM ocamlcompilerlibsrpm https://deb-multimedia.org/dists/oldoldstable/main/binary-arm64/package/libaacplus-ocaml Deb Multimedia Packages::libaacplus-ocaml multimedia packagesdebocaml https://courses.softlab.ntua.gr/compilers/2008a/examples/minibasic/OCaml/ Index of /compilers/2008a/examples/minibasic/OCaml index ofcompilersexamplesocaml https://sage.caelum.ci.dev/package/llvm.8.0.0 ocaml-docs-ci ocamldocsci https://lists.debian.org/debian-ocaml-maint/2020/12/msg00037.html [Git][ocaml-team/ocaml-migrate-parsetree] Pushed new tag archive/debian/1.8.0-1 https://sage.caelum.ci.dev/package/aifad.2.2.1 ocaml-docs-ci ocamldocsci https://lists.debian.org/debian-ocaml-maint/2019/07/msg00008.html ocaml-flac_0.1.5-1_amd64.changes ACCEPTED into unstable ocamlflacchangesacceptedunstable https://packagehub.suse.com/packages/ocaml-obuild/ SUSE Package Hub - ocaml-obuild susepackagehubocaml https://sage.caelum.ci.dev/package/art.0.1.1 ocaml-docs-ci ocamldocsci https://cjj.kr.distfiles.macports.org/ocaml-not-ocamlfind/ Index of /ocaml-not-ocamlfind/ index ofocaml https://sage.caelum.ci.dev/package/atdd.2.14.0 ocaml-docs-ci ocamldocsci https://pkgsubmit.mageia.org/autobuild/cauldron/aarch64/core/2021-03-25/ocaml-ppx_jane-0.13.0-5.mga9.src.rpm/ Index of /autobuild/cauldron/aarch64/core/2021-03-25/ocaml-ppx_jane-0.13.0-5.mga9.src.rpm