onai's repositories
OKN-LLM-WG
NSF OKN LLM Working Group
lcu-remote-client
Remote LCU Client
z3.rs
Rust bindings for the Z3 solver.
z3
The Z3 Theorem Prover
unshare
The low-level linux containers creation library for rust
gossipsim
Compute metrics for modeled gossip networks
hopxhop-discovery-modeler
Modeling of gossip message passing in a network graph
indic-language-identification
Indic language identification supporting Romanized variants of Indian languages
fountain
Fountain codes implemented in Rust
iced-datepicker
DatePicker is an interactive calendar built with Iced. It lets the user pick a date in the calendar.
segmentation-instrumentation
Image segmentation Docker image instrumentation
inverse-rendering-2
Inverse rendering tool
detectron2
Detectron2 is FAIR's next-generation platform for object detection and segmentation.
web-page-annotator
Rapid web page annotation to enable machine learning
phab-dock-ci
Instructions and tools for building a CI that builds Docker images with Buildbot and Phabricator
inverse-rendering
Inverse rendering tool
torrent-graph
Graph analysis of torrents
social-media-topic-modeling
Topic Modeling for Social Media Text
active-sampling
Active learning pipeline to construct balanced data sets.
code-mixing-toolbox
Unsupervised models to detect and handle code-mixed text
code-ecosystem-analyzer
Identify and characterize code repositories
loggraph
Logfiles to graphs
geokube
Distributed applications, Chaos testing, and network latency testing with Kubernetes
Detectron
FAIR's research platform for object detection research, implementing popular algorithms like Mask R-CNN and RetinaNet.
polyglot-toolbox
Polyglot skipgram embeddings, and their many health benefits
nfm-2020-submission
NFM 2020 submission
nfm-zk-formal-workshop
NASA Formal Methods 2020 - Zero Knowledge Workshop
blockchain_course
Blockchain Course
SMTexperiments
Z3 Paper Expts