-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedJun 21, 2025 -
Bolt Public
Forked from SynthesisLab/BoltBlazingly fast synthesis of LTL formulas!
Rust MIT License UpdatedDec 18, 2024 -
regularMemoryRequirements Public
Algorithms that compute minimal memory structures to play optimally in two-player zero-sum games with regular reachability and safety objectives.
-
owl-resnet Public
Implementation of the ResNet50 neural network using OCaml's numerical library Owl.
-
-
owl Public
Forked from owlbarn/owlOwl is an OCaml library for scientific and engineering computing.
OCaml MIT License UpdatedNov 11, 2018 -
-
-
{{ message }}