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