takahisa / finale

Related projects ⓘ

Alternatives and complementary repositories for finale

• dbuenzli / uuseg
  Unicode text segmentation for OCaml
  ☆23Updated last month
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆36Updated 5 years ago
• dbuenzli / uunf
  Unicode text normalization for OCaml
  ☆21Updated last month
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆57Updated last week
• NicolasT / ocaml-free
  A 'free monad' library for OCaml
  ☆22Updated 10 years ago
• objmagic / jaw
  Code using GADT
  ☆37Updated 3 years ago
• yoshihiro503 / ocamltter
  ocamltter is a Twitter client in OCaml. This client run on the OCaml toplevel interpreter. Then each operation on the client is just a OC…
  ☆75Updated 6 years ago
• ocaml-ppx / ocaml-syntax-shims
  Backport new syntax to older compilers
  ☆14Updated 4 years ago
• ocaml-opam / opam-0install-solver
  a solver for opam packages using 0install's solver engine
  ☆21Updated 3 weeks ago
• ocaml-multicore / eventlog-tools
  Tools for the runtime tracing in OCaml 4.11.0 and higher
  ☆31Updated last year
• ocurrent / bun
  tired of typing afl-fuzz? try bun!
  ☆50Updated last year
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆34Updated this week
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 5 years ago
• camlspotter / ocamloscope.2
  OCamlOScope 2 : OCaml API search
  ☆42Updated 7 years ago
• garrigue / certint
  A Certified Interpreter for ML with Structural Polymorphism
  ☆43Updated last year
• dbuenzli / otfm
  OpenType font decoder for OCaml
  ☆20Updated 5 months ago
• jobjo / popper
  Property-based testing at ease
  ☆42Updated 3 years ago
• nojb / ocaml-bt
  OCaml BitTorrent library and client
  ☆39Updated 2 years ago
• ocurrent / opam-dune-lint
  Ensure dune and opam dependencies are consistent
  ☆42Updated 6 months ago
• sheijk / ppx_string_interpolate
  A simple OCaml ppx filter to support string interpolation like [%str "value of foo is $(foo)"]
  ☆21Updated 4 years ago
• mjambon / dune-deps
  Show the internal dependencies in your OCaml/Reason/Dune project
  ☆59Updated last year
• actions-ml / setup-ocaml
  GitHub Action for the OCaml programming language
  ☆18Updated 3 years ago
• mizunashi-mana / proglang-notes
  Notes of Programming Languages
  ☆11Updated 11 months ago
• SoftwareFoundationGroupAtKyotoU / VeriCUDA
  Deductive verifier for CUDA
  ☆14Updated 7 years ago
• pqwy / tpf
  Trivial/Tagless Polytypic Functions
  ☆23Updated 4 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• ocaml-opam / opam-depext
  Attempt to automate the installation of system packages required by OPAM packages
  ☆33Updated 2 months ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 2 years ago