bcc32 / projecteuler-ocaml

Related projects ⓘ

Alternatives and complementary repositories for projecteuler-ocaml

• mjambon / cmdliner-cheatsheet
  Cheatsheet for adding command-line options to an OCaml program using cmdliner
  ☆59Updated 2 years ago
• craigfe / ocaml-stdlib-type-conversions
  Graphs of the various type conversions provided by the OCaml standard library.
  ☆33Updated 4 years ago
• art-w / sherlocode
  Realtime grep for OCaml/Coq sources available on opam
  ☆78Updated 2 months ago
• Arnhav-Datar / EffPPL
  Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library
  ☆23Updated 2 years ago
• tarides / hackocaml
  OCaml hacking ideas, small and large.
  ☆19Updated 7 months ago
• janestreet / core_bench
  Micro-benchmarking library for OCaml
  ☆49Updated 2 weeks ago
• semgrep / little-learner-ocaml
  ☆14Updated last year
• ocaml-sf / learn-ocaml-corpus
  A corpus of automatically graded exercises to learn functional programming in OCaml.
  ☆31Updated 3 months ago
• smeruelo / mooc-ocaml
  Functional Programming in OCaml MOOC
  ☆36Updated 4 years ago
• smimram / ocaml-pandoc
  An OCaml library for creating pandoc filters.
  ☆29Updated last month
• art-w / sherlodoc
  Fuzzy type search for OCaml documentation
  ☆72Updated 4 months ago
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆38Updated last week
• shonfeder / um-abt
  An OCaml library implementing unifiable abstract binding trees (UABTs)
  ☆27Updated last year
• ocaml-multicore / multicoretests
  PBT testsuite and libraries for testing multicore OCaml
  ☆37Updated this week
• c-cube / printbox
  print nested boxes, lists, arrays, tables in several formats
  ☆79Updated last month
• dariusf / ppx_debug
  Tools for record-and-replay debugging
  ☆42Updated last year
• abbysmal / Goodboy
  A pure OCaml Gameboy emulator
  ☆85Updated 5 years ago
• ngernest / mica
  A PPX deriver that automates differential testing for OCaml modules
  ☆23Updated last month
• ocaml-bench / notes
  Notes and findings from our OCaml benchmarking adventures
  ☆48Updated 2 years ago
• charlesetc / feather
  A shell library for OCaml
  ☆77Updated 7 months ago
• jmid / mutaml
  An OCaml mutation tester
  ☆65Updated last month
• impermeable / coq-waterproof
  The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…
  ☆33Updated last week
• Octachron / codept
  Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer
  ☆59Updated last month
• avsm / hello-world-action-ocaml
  Example use of GitHub Actions with OCaml
  ☆35Updated 3 months ago
• backtracking / bheap
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆18Updated 3 years ago
• rbardou / clap
  Command-Line Argument Parsing, imperative style with a consumption mechanism.
  ☆24Updated last year
• sanette / oplot
  Mathematical plotting library for ocaml
  ☆31Updated last year
• pedrobslisboa / ppx-by-example
  This repository contains examples to help on understanding what are and how to write PPXs in OCaml.
  ☆35Updated 3 weeks ago
• dariusf / ppx_interact
  Interactive breakpoints!
  ☆43Updated 6 months ago
• ecranceMERCE / trakt
  A generic goal preprocessing tool for proof automation tactics in Coq
  ☆14Updated last month