Repositories list

• OKN-LLM-WG

  Public
  NSF OKN LLM Working Group

  1•1•0•0•Updated Apr 19, 2024Apr 19, 2024

• lcu-remote-client

  Public
  Remote LCU Client

  Python

  •0•0•0•0•Updated Jul 3, 2023Jul 3, 2023

• z3.rs

  Public
  Rust bindings for the Z3 solver.

  Rust

  •110•0•0•0•Updated Nov 4, 2022Nov 4, 2022

• z3

  Public
  The Z3 Theorem Prover

  C++

  •

  Other

  •1.5k•0•0•0•Updated Nov 4, 2022Nov 4, 2022

• unshare

  Public
  The low-level linux containers creation library for rust

  Rust

  •

  Apache License 2.0

  •27•0•0•0•Updated Jul 5, 2022Jul 5, 2022

• gossipsim

  Public
  Compute metrics for modeled gossip networks

  networknetworkxshortest-paths+ 2gossipsssp

  Python

  •

  Apache License 2.0

  •0•0•0•1•Updated Jun 22, 2022Jun 22, 2022

• hopxhop-discovery-modeler

  Public
  Modeling of gossip message passing in a network graph

  graphp2pdht+ 2gossip-protocolflooding

  Python

  •

  Apache License 2.0

  •1•2•0•1•Updated Jun 22, 2022Jun 22, 2022

• indic-language-identification

  Public
  Indic language identification supporting Romanized variants of Indian languages

  Python

  •0•3•0•0•Updated Nov 19, 2020Nov 19, 2020

• fountain

  Public
  Fountain codes implemented in Rust

  Rust

  •

  MIT License

  •6•0•0•0•Updated Aug 11, 2020Aug 11, 2020

• iced-datepicker

  Public
  DatePicker is an interactive calendar built with Iced. It lets the user pick a date in the calendar.

  rustuicalendar+ 3widgetscalendar-widgeticed

  Rust

  •

  MIT License

  •1•2•0•0•Updated Jun 9, 2020Jun 9, 2020

• btc-graph

  Public
  BTC transaction graph generation

  bitcoingraphbitcoin-transaction+ 2bitcoin-corebitcoin-graph-study

  Python

  •

  Other

  •0•1•0•0•Updated Jun 9, 2020Jun 9, 2020

• segmentation-instrumentation

  Public
  Image segmentation Docker image instrumentation

  Makefile

  •

  Apache License 2.0

  •0•0•0•0•Updated May 26, 2020May 26, 2020

• inverse-rendering-2

  Public
  Inverse rendering tool

  renderingpytorchinverse-rendering

  NASL

  •

  Other

  •0•0•0•0•Updated May 26, 2020May 26, 2020

• detectron2

  Public
  Detectron2 is FAIR's next-generation platform for object detection and segmentation.

  Python

  •

  Apache License 2.0

  •7.5k•0•0•0•Updated May 25, 2020May 25, 2020

• web-page-annotator

  Public
  Rapid web page annotation to enable machine learning

  JavaScript

  •

  Other

  •0•1•0•0•Updated May 25, 2020May 25, 2020

• phab-dock-ci

  Public
  Instructions and tools for building a CI that builds Docker images with Buildbot and Phabricator

  dockerciphabricator+ 1buildbot

  Shell

  •

  Apache License 2.0

  •0•1•0•0•Updated May 24, 2020May 24, 2020

• inverse-rendering

  Public
  Inverse rendering tool

  renderingpytorchinverse-rendering

  NASL

  •

  Other

  •0•1•0•0•Updated May 24, 2020May 24, 2020

• torrent-graph

  Public
  Graph analysis of torrents

  torrentbittorrentpagerank+ 4dhtgraph-analysisbittorrent-dhtnetworkx-graph

  Python

  •

  Apache License 2.0

  •1•1•0•0•Updated May 24, 2020May 24, 2020

• social-media-topic-modeling

  Public
  Topic Modeling for Social Media Text

  social-mediatopic-modelinglda

  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated May 22, 2020May 22, 2020

• active-sampling

  Public
  Active learning pipeline to construct balanced data sets.

  machine-learningsamplingactive-learning

  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated May 22, 2020May 22, 2020

• code-mixing-toolbox

  Public
  Unsupervised models to detect and handle code-mixed text

  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated May 22, 2020May 22, 2020

• code-ecosystem-analyzer

  Public
  Identify and characterize code repositories

  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated May 22, 2020May 22, 2020

• loggraph

  Public
  Logfiles to graphs

  pcaplogshdf5+ 1giraph

  Python

  •

  Apache License 2.0

  •0•0•0•0•Updated May 22, 2020May 22, 2020

• geokube

  Public
  Distributed applications, Chaos testing, and network latency testing with Kubernetes

  kubernetesgolangtorrent+ 6latencydistributed-computingchaosgkestellarchaos-testing

  Shell

  •

  Apache License 2.0

  •0•0•0•0•Updated May 22, 2020May 22, 2020

• Detectron

  Public
  FAIR's research platform for object detection research, implementing popular algorithms like Mask R-CNN and RetinaNet.

  Python

  •

  Apache License 2.0

  •5.5k•0•0•0•Updated Apr 21, 2020Apr 21, 2020

• polyglot-toolbox

  Public
  Polyglot skipgram embeddings, and their many health benefits

  Python

  •

  MIT License

  •2•0•0•0•Updated Jan 30, 2020Jan 30, 2020

• nfm-2020-submission

  Public
  NFM 2020 submission

  Idris

  •0•0•0•0•Updated Jan 27, 2020Jan 27, 2020

• nfm-zk-formal-workshop

  Public
  NASA Formal Methods 2020 - Zero Knowledge Workshop

  HTML

  •0•0•0•0•Updated Dec 6, 2019Dec 6, 2019

• blockchain_course

  Public
  Blockchain Course

  Racket

  •0•0•0•0•Updated Sep 11, 2019Sep 11, 2019

• SMTexperiments

  Public
  Z3 Paper Expts

  Rust

  •

  MIT License

  •0•2•0•0•Updated Jun 11, 2019Jun 11, 2019