Skip to content

@modular-implicits modular-implicits

Change the repository type filter

All

    Repositories list

    25 repositories

    • modular-implicits.github.io

      Public
      Website hosting the Modular Implicits project report.
      0•0•0•0•Updated Jun 19, 2024Jun 19, 2024

    • modular-implicits-opam

      Public
      1•3•0•0•Updated Sep 27, 2023Sep 27, 2023

    • Search

      Public
      OCaml
      •
      MIT License
      •0•1•0•0•Updated Sep 27, 2023Sep 27, 2023

    • FreeMonad

      Public
      OCaml
      •0•0•0•0•Updated Sep 27, 2023Sep 27, 2023

    • Quickcheck

      Public
      OCaml
      •0•1•0•0•Updated Sep 27, 2023Sep 27, 2023

    • autodiff

      Public
      OCaml
      •0•1•0•0•Updated Sep 26, 2023Sep 26, 2023

    • DataStructures

      Public
      OCaml
      •0•0•0•0•Updated Sep 25, 2023Sep 25, 2023

    • generics

      Public
      OCaml
      •0•1•0•0•Updated Sep 25, 2023Sep 25, 2023

    • imp

      Public
      Experimental library using modular implicits
      OCaml
      •1•16•2•0•Updated Sep 25, 2023Sep 25, 2023

    • Arrows

      Public
      OCaml
      •0•1•0•0•Updated Sep 25, 2023Sep 25, 2023

    • staged-generics

      Public
      OCaml
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Sep 25, 2023Sep 25, 2023

    • lens

      Public
      A port of (a subset of) the Haskell lens library to OCaml, using modular implicits
      ocamllens
      OCaml
      •
      BSD 3-Clause "New" or "Revised" License
      •0•5•0•0•Updated Sep 20, 2023Sep 20, 2023

    • tries-staged

      Public
      OCaml
      •
      GNU General Public License v3.0
      •0•1•0•1•Updated Sep 18, 2023Sep 18, 2023

    • Category

      Public
      OCaml
      •0•2•0•0•Updated Sep 12, 2023Sep 12, 2023

    • ocaml-integers

      Public
      Various signed and unsigned integer types for OCaml
      OCaml
      •
      MIT License
      •21•0•1•0•Updated Sep 12, 2023Sep 12, 2023

    • compact

      Public
      OCaml
      •
      GNU General Public License v3.0
      •0•1•0•1•Updated Sep 6, 2023Sep 6, 2023

    • SQL

      Public
      0•0•0•0•Updated Sep 6, 2023Sep 6, 2023

    • metaocaml-frex

      Public
      OCaml
      •
      MIT License
      •2•0•0•1•Updated Sep 5, 2023Sep 5, 2023

    • staged-generic-programming

      Public
      Code for "Staged Generic Programming" (ICFP 2017)
      OCaml
      •
      MIT License
      •1•0•0•0•Updated Sep 1, 2023Sep 1, 2023

    • finally-tagless

      Public
      OCaml
      •0•1•0•0•Updated Aug 30, 2023Aug 30, 2023

    • oi

      Public
      Monadic I/O for OCaml, using modular implicits
      OCaml
      •
      GNU General Public License v3.0
      •0•1•0•0•Updated Aug 23, 2023Aug 23, 2023

    • backports

      Public
      The modular implicits variant of the OCaml compiler with backports of various features from modern OCaml
      OCaml
      •
      Other
      •8•0•0•0•Updated Aug 23, 2023Aug 23, 2023

    • polyvariadic

      Public
      OCaml
      •0•1•0•0•Updated Aug 22, 2023Aug 22, 2023

    • ocaml

      Public
      OCaml extended with modular implicits
      OCaml
      •
      Other
      •8•0•0•0•Updated Aug 4, 2023Aug 4, 2023

    • metaocaml-frex-implicits

      Public
      OCaml
      •
      MIT License
      •2•0•0•0•Updated Aug 2, 2023Aug 2, 2023