Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

anmavrid Follow

Overview Repositories 10 Projects 0 Packages 0 Stars 20

Overview
Repositories
Projects
Packages
Stars

anmavrid

🚀

Anastasia Mavridou anmavrid

🚀

Research Scientist @ NASA Ames Research Center - Do you speak FRETish? 👍

43 followers · 10 following

NASA Ames Research Center
Mountain View, CA
amavridou.com

Achievements

Organizations

Block or report anmavrid

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Overview Repositories 10 Projects 0 Packages 0 Stars 20

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All JavaScript C++ Java

Sort Last updated

Select order

Last updated Name Stars

smart-contracts Public

JavaScript 119 30 MIT License Updated Nov 3, 2023
ikos Public
Forked from NASA-SW-VnV/ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

C++ Other Updated Nov 12, 2019
awesome-docsify Public
Forked from docsifyjs/awesome-docsify

💖 A curated list of awesome things related to docsify

Updated Aug 30, 2018
javabip-hadoop Public
Forked from sskalist/javabip-hadoop

Java Updated Mar 2, 2018
DesignBIP Public

JavaScript 11 5 Updated Nov 12, 2017
formula Public
Forked from webgme/formula

JavaScript MIT License Updated Jul 14, 2017
javabip-engine Public
Forked from sbliudze/javabip-engine

Java Updated May 25, 2017
javabip-core Public
Forked from sbliudze/javabip-core

Coordination of concurrent Java components using a Java flavour of the BIP (Behaviour, Interactions, Priorities) framework.

Java Updated May 25, 2017
javabdd Public
Forked from sbliudze/javabdd

Java Updated Dec 19, 2016
javabip-itest Public
Forked from sbliudze/javabip-itest

Java Updated Dec 19, 2016

Footer

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.

Anastasia Mavridou anmavrid

Achievements

Achievements

Organizations

smart-contracts Public

ikos Public

awesome-docsify Public

javabip-hadoop Public

DesignBIP Public

formula Public

javabip-engine Public

javabip-core Public

javabdd Public

javabip-itest Public