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

  1. abella
    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
    Last published 29 Jan 2021
  2. extunix
    Collection of thin bindings to various low-level system API
    org:ygrek
    Andre Nathan Antonin Décimo Dmitry Grebeniuk François Bobot Gerd Stolpmann Goswin von Brederlow Joshua Smith Kaustuv Chaudhuri Markus W. Weissmann Mehdi Dogguy Niki Yoshiuchi Pierre Chambart Roman Vorobets Stéphane Glondu Sylvain Le Gall ygrek Zhenya Lykhovyd
    0.4.1
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 7 other packages
    Last published 20 Jun 2022