repos
20
ecosystems
2
languages
9
commits
123
Top repos · by commits
Repositories
20 totalClojure wrapper for CRFSuite
NASA Formal Methods 2020 - Zero Knowledge Workshop
Indic language identification supporting Romanized variants of Indian languages
Unsupervised models to detect and handle code-mixed text
NFM 2020 submission
Detectron2 is FAIR's next-generation platform for object detection and segmentation.
Blockchain Course
Z3 Paper Expts
Image segmentation Docker image instrumentation
Identify and characterize code repositories
C wrapper around a rust accumulator library
Topic Modeling for Social Media Text
Active learning pipeline to construct balanced data sets.
Rapid web page annotation to enable machine learning
TensorFlow Tutorial and Examples for Beginners (support TF v1 & v2)
Low-level rust bindings to the Z3 SMT solver
The low-level linux containers creation library for rust
Remote LCU Client
Peer developers
Languages
- Python7
- Rust5
- Jupyter Notebook2
- Clojure1
- HTML1
- Idris1
- Racket1
- Makefile1
- JavaScript1