2 search results for "author:"Kaustuv Chaudhuri""

  1. abella
    Documentation
    Interactive theorem prover based on lambda-tree syntax
    Andrew Gacek Yuting Wang Kaustuv Chaudhuri
    2.0.7
    GPL-3.0-only
    Used by 0 other packages
    29 Jan 2021
  2. extunix
    Documentation
    Collection of thin bindings to various low-level system API
    org:ygrek
    Andre Nathan Antonin Décimo Dmitry Grebeniuk François Bobot Gerd Stolpmann et al.
    0.4.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    20 Jun 2022