Skip to content
Change the repository type filter

All

    Repositories list

    • DistMaker

      Public
      Java
      Apache License 2.0
      0000Updated Sep 30, 2024Sep 30, 2024
    • CodeCut

      Public
      A Ghidra plugin for locating object file boundaries.
      Python
      1911500Updated Sep 25, 2024Sep 25, 2024
    • codegen

      Public
      Python
      MIT License
      0000Updated Sep 25, 2024Sep 25, 2024
    • Glum

      Public
      Java
      Apache License 2.0
      0100Updated Sep 18, 2024Sep 18, 2024
    • JCAT

      Public
      Java
      MIT License
      0100Updated Sep 11, 2024Sep 11, 2024
    • STIX 2.1 Data Modeling Tool
      JavaScript
      MIT License
      11400Updated Sep 5, 2024Sep 5, 2024
    • jsqrl

      Public
      Java
      Other
      0000Updated Aug 28, 2024Aug 28, 2024
    • "Safer than a torch." Lantern provides utility functions to encode (certain) PyTorch modules as Z3 constraints.
      Python
      BSD 3-Clause "New" or "Revised" License
      1501Updated Jul 25, 2024Jul 25, 2024
    • SIMoN

      Public
      System Integration with Multiscale Networks
      Python
      MIT License
      0705Updated Apr 8, 2024Apr 8, 2024
    • OpenXNAV

      Public
      OpenXNAV is an Open Source, modular toolkit for simulating high-fidelity pulsar X-ray events - designed to aid development and testing of Pulsar-based Autonomous Navigation (XNAV) Positioning, Navigation, and Timing (PNT) solutions.
      Jupyter Notebook
      Apache License 2.0
      1100Updated Mar 12, 2024Mar 12, 2024
    • Jackfruit

      Public
      A Java annotation library to easily read and write Apache Commons Configuration files.
      Java
      Apache License 2.0
      0100Updated Dec 28, 2023Dec 28, 2023
    • EUVML

      Public
      0000Updated Dec 21, 2023Dec 21, 2023
    • Picante

      Public
      Picante is a Java implementation of the core functionality of NAIF SPICE.
      Java
      MIT License
      0300Updated Sep 26, 2023Sep 26, 2023
    • steem

      Public
      IDL
      0000Updated Aug 31, 2023Aug 31, 2023
    • dragion

      Public
      Java
      0100Updated Aug 9, 2023Aug 9, 2023
    • Python
      Apache License 2.0
      0700Updated Aug 2, 2023Aug 2, 2023
    • PACMANs

      Public
      DARPA ACTM PACMANS Code --For documentation see: https://pacmans.readthedocs.io/en/latest/summary.html
      Python
      BSD 3-Clause "New" or "Revised" License
      2300Updated Apr 6, 2023Apr 6, 2023
    • PINE

      Public
      Collaborative NLP annotation tool supporting enterprise authentication, inter-annotator statistics, active learning
      Python
      GNU Affero General Public License v3.0
      313151Updated Mar 5, 2023Mar 5, 2023
    • kami

      Public
      Kami is Agent-Based Modeling in Modern C++
      C++
      MIT License
      0100Updated Feb 2, 2023Feb 2, 2023
    • Shell
      3800Updated Nov 8, 2022Nov 8, 2022
    • A powerful framework for decentralized federated learning with user-defined communication topology
      Python
      Apache License 2.0
      5910Updated Dec 14, 2021Dec 14, 2021
    • 0000Updated Aug 31, 2021Aug 31, 2021
    • ALLSTAR

      Public
      Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries and symbols
      Python
      42601Updated Apr 23, 2021Apr 23, 2021
    • Other
      22500Updated Mar 3, 2021Mar 3, 2021
    • Vue
      Other
      3600Updated Nov 13, 2020Nov 13, 2020
    • Python
      Apache License 2.0
      2100Updated Jul 28, 2020Jul 28, 2020
    • Reverse engineering basics in puzzle form
      1317800Updated May 20, 2020May 20, 2020
    • msr-2020

      Public
      0000Updated Jan 9, 2020Jan 9, 2020
    • Overview of the aircraft encounter models that support safety analysis and development of aircraft avoidance systems.
      8200Updated Nov 20, 2019Nov 20, 2019
    • Implements the Accumulo Java client API through the Thrift-based Proxy Server
      Java
      Apache License 2.0
      3101Updated May 24, 2018May 24, 2018