Bourbouh (hbourbouh)

hbourbouh

Geek Repo

Company:@coco-team

Location:Nasa Ames research center

Github PK Tool:Github PK Tool


Organizations
Al-Fihriya-Academy
coco-team
NASA-SW-VnV

Bourbouh's starred repositories

system-design-primer

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Language:PythonLicense:NOASSERTIONStargazers:262447Issues:6626Issues:289

gallery

Flutter Gallery was a resource to help developers evaluate and use Flutter

Language:DartLicense:BSD-3-ClauseStargazers:6282Issues:151Issues:353
Language:Jupyter NotebookLicense:Apache-2.0Stargazers:2277Issues:55Issues:31

ikos

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

Language:C++License:NOASSERTIONStargazers:2003Issues:52Issues:216

alpaca-trade-api-python

Python client for Alpaca's trade API

Language:PythonLicense:Apache-2.0Stargazers:1709Issues:110Issues:286

django-modeltranslation

Translates Django models using a registration approach.

Language:PythonLicense:BSD-3-ClauseStargazers:1339Issues:31Issues:509

fret

A framework for the elicitation, specification, formalization and understanding of requirements.

Language:JavaScriptLicense:NOASSERTIONStargazers:271Issues:22Issues:31

swr-calculator

Safe Withdrawal Rate (SWR) Calculator

CoCoSim

Automated Analysis Framework for Simulink/Stateflow models.

Language:MATLABLicense:NOASSERTIONStargazers:37Issues:11Issues:12

scorm

SCORM 1.2/2004 Wrapper for JavaScript/TypeScript

Language:TypeScriptLicense:MITStargazers:36Issues:8Issues:0

AppliedMathsInDarija

Topics on Applied Maths in Moroccan Darija

Language:Jupyter NotebookStargazers:27Issues:4Issues:0

SpeAR

Specification and Analysis for Requirements Tool

Language:JavaLicense:NOASSERTIONStargazers:20Issues:14Issues:99

intrepid

Intrepyd Model Checker

Language:PythonLicense:BSD-3-ClauseStargazers:17Issues:5Issues:4

SIMPAL

Static IMPerative AnaLyzer

Language:JavaStargazers:3Issues:2Issues:0