bcc32 / projecteuler-ocamlLinks
My solutions to ProjectEuler problems in OCaml. Don't spoil yourself, please!
☆11Updated 4 months ago
Alternatives and similar repositories for projecteuler-ocaml
Users that are interested in projecteuler-ocaml are comparing it to the libraries listed below
Sorting:
- Progress bar library for OCaml☆141Updated this week
- ☆120Updated last week
- Fuzzy type search for OCaml documentation☆81Updated 10 months ago
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 9 months ago
- Reference of basic commands to get comfortable with OCaml.☆79Updated 5 years ago
- Design discussions about the OCaml language☆161Updated 3 months ago
- Opam repository for the development version of Jane Street packages☆128Updated last week
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- Instructions for setting up an OCaml development environment☆97Updated 5 years ago
- A Web Application for Learning OCaml☆312Updated last week
- Simple template for midsize OCaml project☆125Updated 4 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆87Updated 2 weeks ago
- A pure OCaml Gameboy emulator☆85Updated 6 years ago
- Famous 99 problems in OCaml☆54Updated 2 years ago
- Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"☆149Updated 4 months ago
- C-style preprocessor for OCaml☆109Updated 6 months ago
- Micro-benchmarking library for OCaml☆51Updated last week
- The Flambda backend project for OCaml☆146Updated this week
- A tool-agnostic formal specification language for OCaml.☆144Updated 4 months ago
- OCaml version of Category Theory For Programmers☆132Updated 5 years ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- A style guide for OCaml☆110Updated last year
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 4 years ago
- OCaml hash-consing library☆51Updated last year
- A library of cryptographic primitives (ciphers, hashes, etc) for OCaml☆101Updated 4 months ago
- A "implementation" of Girard's paradox in OCaml☆108Updated 10 years ago
- print nested boxes, lists, arrays, tables in several formats☆80Updated 3 weeks ago
- Streamlining the release of dune packages to opam☆118Updated 2 months ago
- This repository contains examples to help on understanding what are and how to write PPXs in OCaml.☆41Updated 6 months ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆39Updated this week